Skip to content

TriCera version 0.3
Compare
Choose a tag to compare
@zafer-esen zafer-esen released this 25 Mar 14:39
· 61 commits to master since this release
v0.3
da0ef67
  • TriCera now supports symbolic execution using the option -sym. See CLI help for more related options.
  • ACSL parser and translator improvements - details at #7.
  • Better handling of properties - details at #10.
  • Improved presentation of counterexamples and assertions that fail with exact line numbers and failed properties - counterexamples can also be visualized using the option -eogCEX.
  • New -cpp option for calling the C preprocessor prior to TriCera (not to be confused with TriCera's own preprocessor triPP).
  • Add support for interpreted predicates, with examples under regression-tests.

Full Changelog: v0.2...v0.3

Assets 3
Loading