[0.7] uprade script to work with boogie 0.8 (/nologo was removed)

SRI-CSL · Dec 15, 2020 · e018562 · e018562
1 parent 1cf176e
commit e018562
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/solc/solc-verify.py b/solc/solc-verify.py
@@ -157,7 +157,7 @@ def verifyProcedure(arguments):
     timer = threading.Timer(args.timeout, kill)
     # Run verification, get result
     timer.start()
-    boogieArgs = '/proc:%s /nologo /doModSetAnalysis /errorTrace:0 /useArrayTheory /trace /infer:j' % procedureId
+    boogieArgs = '/proc:%s /doModSetAnalysis /errorTrace:0 /useArrayTheory /trace /infer:j' % procedureId
     if args.smt_log:
         boogieArgs += ' /proverLog:%s.%s.%s.smt2' % (args.smt_log, procedureId, solver)