Modify the run_test script.
authorKim Nguyễn <kn@lri.fr>
Wed, 12 Dec 2012 20:43:38 +0000 (21:43 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 12 Dec 2012 20:43:38 +0000 (21:43 +0100)
commit447476621700590e7386283c6d2850d6cd9721c8
tree328814555d53660e4b12944641d0aae41375f342
parentcb29d45b3a79233581292a2ef172151b1ff489cb
Modify the run_test script.
run_tests [deleted file]