Use a parallel testsuite, use -O2 for benchmarking, migrate threads in tests
authorDon Stewart <dons@galois.com>
Sat, 6 Oct 2007 09:26:51 +0000 (11:26 +0200)
committerDon Stewart <dons@galois.com>
Sat, 6 Oct 2007 09:26:51 +0000 (11:26 +0200)
commit3b2d5d4b10003e181c17e630e6fea382f7172ede
tree569613a4b67b4ee0ab533237c801a42eede3e9fa
parentbfffd4a4a36d3de717572053db691542346513d0
Use a parallel testsuite, use -O2 for benchmarking, migrate threads in tests
tests/Makefile
tests/QC.hs