verilator/test_regress/t/t_assert_disable_bad.out

6 lines
315 B
Plaintext
Raw Normal View History

2022-11-01 23:53:47 +01:00
%Error: t/t_assert_disable_bad.v:27:38: disable iff expression before property call and in its body is not legal
: ... note: In instance 't'
2022-11-01 23:53:47 +01:00
27 | assert property (disable iff (val == 0) check(1, 1));
| ^~
%Error: Exiting due to