typos
[mc1516pa.git] / modelchecker / test.sh
2016-04-20 Mart LubbersMerge remote-tracking branch 'origin/lurd'
2016-04-20 Mart LubbersCleaned up main, removed some options
2016-04-19 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa
2016-04-19 Mart Lubbersupdate test
2016-04-19 Mart Lubberssmall report add and test make add
2016-04-17 Mart Lubbersadded exhaustive tests
2016-04-17 Mart Lubbersadded two piece tests and test.sh script