JP Smith 1ad9a88032 Add basic benchmarking script (#83) ...

* add basic benchmarking script

* add results class, collect more information, and fix check for no args

* fix indentation

* we don't have logger here

* use argv[0] for name of program

* allow dumping of stats from the API and use .format()

* add ProfilingResults class

* bugfixes

2017-03-28 11:12:36 -05:00

..

benchmark.py

Add basic benchmarking script (#83)

2017-03-28 11:12:36 -05:00

stats.py

Move stats.py to scripts/ (#100)

2017-03-23 14:25:46 -04:00

travis_install_z3.sh

Initial import

2017-02-13 12:04:15 -05:00

travis_test.sh

Rename test -> tests (#66)

2017-03-13 14:06:36 -05:00