1 2 3 4 5 6 7 8 9 10 11
// RUN: moore %s -e foo module foo; int x, y; assert #0 (x == y); assert final (x == y); assume #0 (x == y); assume final (x == y); cover #0 (x == y); cover final (x == y); endmodule