tutorial/ex4.4 embeded assertions not working as expected
kofyou opened this issue · 2 comments
kofyou commented
Hi, I feel that the embeded assertions are not working. (0.9.5 release works though.)
When I run:
uclid examples/tutorial/ex4.4-fib-model-revisted.ucl
Expected result:
6 assertions passed.
0 assertions failed.
0 assertions indeterminate.
What I got:
0 assertions passed.
0 assertions failed.
0 assertions indeterminate.
polgreen commented
Ah, thanks, will fix.
For now, if you use "bmc_noLTL" or "unroll" it will pick up the assertions.