Disabled mdb invariant checking by default, added new harness build that enables...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 5 Dec 2014 14:01:49 +0000 (15:01 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Fri, 5 Dec 2014 14:01:49 +0000 (15:01 +0100)
commitc660c5c04dbeb2e7bec296db1d60ce9908b95cd0
treeebf471fafd5e3dc10da106378836138cf15b514d
parentca833a1376f30741d056126c0c116563212235ea
Disabled mdb invariant checking by default, added new harness build that enables invariants.
hake/Config.hs.template
tools/harness/builds.py