1
Vote

check command "makeAssume" false/true debugging

description

Even we pass makeAssume parameter as false to the DoRelax function computation of check command
seems working like violating the firs assertion fail and assuming the rest as dischareged.

Ex:

assert 1==2; ==> assert 1==2 /Violated/
assert false; assert false; /Discharged/

comments