This directory contains tests based on converting json symtab files to goto
binaries using the symtab2gb binary and then passing the generated goto binary
to cbmc. Additional arguments specified in the .desc file will be passed to
the symtab2gb binary.
Files
Failed to load latest commit information.
symtab2gb
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||