- 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