- added
shuffle
for random test case execution - support of
IO'
for different compiler backends - extended expectations
- moved console logging to
spec
andspecIO
fromspecWithState
,specIOWithState
- fixed *.ipkg file name
- modified error output
- store output in
SpecState
ifstoreOutput = True
inspec
andspecIO
(not printed to the console) - return exit code
1
if at least one test case if failing - Travis CI support
- added example code
- refactored core representation of specs (now SpecTree only)
- intial code base