Closed markrtuttle closed 3 years ago
This pull request make three small changes required for viewer to work on the output of rbmc in addition to cbmc.
Closed in favor of #33
The comparison scripts included in this pull request that generated the bulk of the discussion will be addressed in a separate pull request.
This pull request make three small changes required for viewer to work on the output of rbmc in addition to cbmc.