source/tools/runOyente: Ignore AssertionFailure and MoneyConcurrency.

Return real Oyente exit code. Refs: AugurProject#689
cryptomental · Jul 9, 2018 · e5877c3 · e5877c3
1 parent 5e678bb
commit e5877c3
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/source/tools/runOyente.py b/source/tools/runOyente.py
@@ -35,14 +35,15 @@ def main():
         root.addHandler(ch)
 
     global_params.CHECK_ASSERTIONS = 1
+    global_params.IGNORE_VULNERABILITIES = ["AssertionFailure", "MoneyConcurrency"]
+    global_params.DEBUG_MODE = 1
 
     results, exit_code = run_solidity_analysis(inputs)
 
     if input_args.analyze:
         analyze_results(results)
 
-    # We have a bunch of stuff that is erroneous at the moment
-    exit(0)
+    exit(exit_code)
 
 def generate_inputs():
     inputs = []