You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
CVC4 results in a segmentation fault for many of the wmm benchmarks.
Since the result is neither FAIL or PASS, the SVCOMPRunner keeps increasing the bound and iterates for ever.
The runner should detect this error and stop the execution.
The text was updated successfully, but these errors were encountered:
CVC4 results in a segmentation fault for many of the wmm benchmarks.
Since the result is neither
FAIL
orPASS
, theSVCOMPRunner
keeps increasing the bound and iterates for ever.The runner should detect this error and stop the execution.
The text was updated successfully, but these errors were encountered: