Commit 2f73f71

committed

Expected results from SV-COMP 2015

The file includes notes on why CBMC fails on the respective tasks.

1 parent 88a4a99 commit 2f73f71Copy full SHA for 2f73f71

1 file changed

+1201

-0

lines changed

+1201

-0

lines changed

Comments

(0)