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)
hake/Config.hs.template
tools/harness/builds.py

index 9a8d975..e9e0364 100644 (file)
@@ -214,7 +214,7 @@ mdb_fail_invariants = True
 
 -- check invariants before/after mdb_insert/mdb_remove.
 mdb_check_invariants :: Bool
-mdb_check_invariants = True
+mdb_check_invariants = False
 
 -- recheck invariants at each tracing point
 mdb_recheck_invariants :: Bool
index a76b1ee..80e19ee 100644 (file)
@@ -175,6 +175,15 @@ class HakeReleaseTraceBuild(HakeBuildBase):
         conf["trace"] = "True"
         return conf
 
+class HakeReleaseMdbInvariantsBuild(HakeReleaseBuild):
+    """optimisations, no debug information, but MDB invariant checking"""
+    name = 'release_mdbinvariants'
+
+    def _get_hake_conf(self, *args):
+        conf = super(HakeReleaseBuild, self)._get_hake_conf(*args)
+        conf["mdb_check_invariants"] = "True"
+        return conf
+
 class HakeDebugBuild(HakeBuildBase):
     """Default Hake build: debug symbols, optimisations, assertions"""
     name = 'debug'
@@ -196,6 +205,7 @@ class HakeDebugTraceBuild(HakeBuildBase):
 
 
 all_builds = [HakeReleaseBuild, HakeDebugBuild, HakeReleaseTraceBuild,
+              HakeReleaseMdbInvariantsBuild,
               HakeDebugTraceBuild, HakeReleaseGem5Build]
 
 def mk_libc_builds():