Overview
Request 705642 accepted
- Update to version 2.0+20190507:
* Propagate correct version of metasmt to build script
* Add missing dependency for tabulate package
* Remove CC as requirement; automatically set by sanitizer_compiler
* klee-stats: add - to to-csv/grafana options
* Add klee-stats test, fix microseconds bug
* Add MSan support for sqlite
* Clean klee-stats, StatsTracker and cmake
* Change the .stats format into sqlite3
* Add FreeBSD OS triple in RaiseAsm
* Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD
* and more
Request History
jirislaby created request
- Update to version 2.0+20190507:
* Propagate correct version of metasmt to build script
* Add missing dependency for tabulate package
* Remove CC as requirement; automatically set by sanitizer_compiler
* klee-stats: add - to to-csv/grafana options
* Add klee-stats test, fix microseconds bug
* Add MSan support for sqlite
* Clean klee-stats, StatsTracker and cmake
* Change the .stats format into sqlite3
* Add FreeBSD OS triple in RaiseAsm
* Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD
* and more
licensedigger accepted review
ok
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
dimstar accepted review
staging-bot added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:124"
staging-bot accepted review
Picked openSUSE:Factory:Staging:adi:124
staging-bot accepted review
ready to accept
staging-bot approved review
ready to accept
dimstar_suse accepted request
Accept to openSUSE:Factory