Skip to content

Incremental Monkey 0.2.0

Latest
Latest
Compare
Choose a tag to compare
@fkutzner fkutzner released this 17 Sep 15:42
· 55 commits to master since this release
rel-0.2.0
c21383c

Added

  • Added the print-icnf command, printing traces as ICNF problem instances
  • Added Simplifier's Paradise, a random incremental SAT instance generator for particularly simplifiable problems
  • Trace-reading commands now read the trace from the standard input when - is specified as the trace filename.
  • Added the gen-trace command for generating random traces
  • Added --parse-permissive parsing mode for traces
  • monkey now performs IPASIR lookups within the current process' own symbols if the specified DSO name is preloaded
  • Added support for dynamically linking a fixed IPASIR solver to monkey via the IM_IPASIR_LIB build option
  • Added --crash-on-failure failure mode for monkey replay

Changed

  • Renamed the print command to print-cpp
  • Made the failure trace format more fuzzer-friendly
  • New configuration defaults: generating more smaller instances
Assets 2
Loading