- Update to version 1.4.0+20190115:
  * make AssignmentLessThan::operator() const-invocable
  * fix a bug in a function call
  * ktest-tool: move from optparse to argparse, add ouput/example sections to help
  * Travis OSX: install Python 3.x
  * regression/2014-09-13-debug-info.c: use 'int: ' instead of 'data:'
  * Various fixes for ktest-tool
  * Added default values to option comments
  * Renamed --environ to --env-file
  * Renamed --stop-after-n-tests to --max-tests
  * Added a replaying option category
  * Added checks option category, moved --optimize to starting category, renamed original --run-in option to --running-dir
  * Added linking option category
  * Added starting option category
  * Added test case option category
  * Added debugging category
  * Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251
  * Added some descriptions suggested by @MartinNowack and placed --max-static-... options under the termination category of options
  * Added option categories for external call policy and termination criteria
  * Created two more option categories: test generation and seeding.
- Update to version 1.4.0+20181214:
  * Enable C++14 support
  * Implemented memalign with alignment
  * Use LLVM 4 for Mac Build
  * Fix bug which resulted in an incorrect warning to be printed.
  * fix: actually set -O0 in test/concrete/CMakeLists.txt
  * Fixed crash on zero size arrays
  * Check for stack overflow in a tested program
  * Added test for the case where external calls are encountered but disallowed
  * Replaced --no-externals and --allow-external-sym-calls with --external-calls, updated tests accordingly, and improved documentation on external calls
  * The test DeterministicSwitch.c does not need to allow external symbolic calls
  * Introduced a constraint solving option category to which all the options in CmdLineOptions.cpp are currently added.
  * Base time API upon std::chrono
  * add %OOopt to recently added tests and Concrete

• Files Changed
• Browse Source