hi, izidor. I try to add the test_case in rev 1185, and run it with './scripts/debug.sh -s bryce' but got an error from liblarch.
the message looks like "Exception: Trying to remove node 1861@1 with no iterator"
Any suggestions?
hi, izidor. I try to add the test_case in rev 1185, and run it with './scripts/debug.sh -s bryce' but got an error from liblarch.
the message looks like "Exception: Trying to remove node 1861@1 with no iterator"
Any suggestions?