c2aab03 New upstream release; Replace custom goto-cc.1 with symlinks to cbmc.1; Enable full cbmc testsuite; python to python3 fix in one test case

Authored and Committed by vmihalko 3 years ago
    New upstream release; Replace custom goto-cc.1 with symlinks to cbmc.1; Enable full cbmc testsuite; python to python3 fix in one test case
    
        
file modified
+10 -0
file modified
+33 -24
file removed
-1
file modified
+1 -1