Skip to content

Commit 13e8818

Browse files
thomasspriggsthomasspriggs
committed
Document how tests in symtab2gb directory work
1 parent d0c9659 commit 13e8818

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

‎regression/symtab2gb/readme.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
This directory contains tests based on converting json symtab files to goto
2+
binaries using the symtab2gb binary and then passing the generated goto binary
3+
to cbmc. Additional arguments specified in the `.desc` file will be passed to
4+
the symtab2gb binary.

0 commit comments

Comments
 (0)