7 lines
131 B
Coq
7 lines
131 B
Coq
|
// Check that different prefix and post-fork labels are rejected.
|
||
|
|
|
||
|
|
module test;
|
||
|
|
initial LABEL_A: fork : LABEL_B
|
||
|
|
join
|
||
|
|
endmodule
|