Tools

• Benchmark scrambler
• TreeLimitedRun wrapper (borrowed from CASC and modified)

If something you're looking for isn't here, note that additional tools used only for SMT-COMP (but not for SMT-Exec) are listed on the SMT-COMP tools page. In particular, you'll find the new scrambler and the trace executor there.

Last modified: Fri 15 Jul 2011 16:07 CDT