Make checker.sh give results back to the test suite
commit08e15ecf70df3d0dc57b95e126911fc999a5b472
authorOleksandr Zinenko <zinenko@lri.fr>
Tue, 16 Sep 2014 08:31:08 +0000 (16 10:31 +0200)
committerOleksandr Zinenko <zinenko@lri.fr>
Tue, 16 Sep 2014 08:31:08 +0000 (16 10:31 +0200)
treea21235da60d47b2af778d6ff002d59dae89df7bc
parentd2f1dd30118ff709488d4429398fb3faa116524c
Make checker.sh give results back to the test suite
tests/checker.sh