fixup cli tests

Author: Leo Alt

test/cmdlineTests/model_checker_invariants_all/err

@@ -11,5 +11,5 @@ Reentrancy property(ies) for model_checker_invariants_all/input.sol:test:
 ((!(x <= 0) || !(<errorCode> >= 3)) && (!(x <= 0) || (x' <= 0)))
 ((!(x <= 0) || (x' <= 0)) && (!(x <= 0) || (<errorCode> <= 0)))
 <errorCode> = 0 -> no errors
-<errorCode> = 1 -> Assertion failed
-<errorCode> = 3 -> Assertion failed
+<errorCode> = 1 -> Assertion failed at assert(x < 10)
+<errorCode> = 3 -> Assertion failed at assert(x < 10)

test/cmdlineTests/model_checker_invariants_contract_reentrancy/err

@@ -11,5 +11,5 @@ Reentrancy property(ies) for model_checker_invariants_contract_reentrancy/input.
 ((!(x <= 0) || !(<errorCode> >= 3)) && (!(x <= 0) || (x' <= 0)))
 ((!(x <= 0) || (x' <= 0)) && (!(x <= 0) || (<errorCode> <= 0)))
 <errorCode> = 0 -> no errors
-<errorCode> = 1 -> Assertion failed
-<errorCode> = 3 -> Assertion failed
+<errorCode> = 1 -> Assertion failed at assert(x < 10)
+<errorCode> = 3 -> Assertion failed at assert(x < 10)

test/cmdlineTests/model_checker_invariants_reentrancy/err

@@ -7,4 +7,4 @@ Warning: Return value of low-level calls not used.
 Info: Reentrancy property(ies) for model_checker_invariants_reentrancy/input.sol:test:
 ((!(x <= 0) || (x' <= 0)) && (!(x <= 0) || (<errorCode> <= 0)))
 <errorCode> = 0 -> no errors
-<errorCode> = 1 -> Assertion failed
+<errorCode> = 1 -> Assertion failed at assert(x < 10)

test/cmdlineTests/standard_model_checker_invariants_contract_reentrancy/output.json

@@ -11,8 +11,8 @@ Reentrancy property(ies) for A:test:
 ((!(x <= 0) || !(<errorCode> >= 3)) && (!(x <= 0) || (x' <= 0)))
 ((!(x <= 0) || (x' <= 0)) && (!(x <= 0) || (<errorCode> <= 0)))
 <errorCode> = 0 -> no errors
-<errorCode> = 1 -> Assertion failed
-<errorCode> = 3 -> Assertion failed
+<errorCode> = 1 -> Assertion failed at assert(x < 10)
+<errorCode> = 3 -> Assertion failed at assert(x < 10)
 
 
 ","message":"Contract invariant(s) for A:test:
@@ -22,6 +22,6 @@ Reentrancy property(ies) for A:test:
 ((!(x <= 0) || !(<errorCode> >= 3)) && (!(x <= 0) || (x' <= 0)))
 ((!(x <= 0) || (x' <= 0)) && (!(x <= 0) || (<errorCode> <= 0)))
 <errorCode> = 0 -> no errors
-<errorCode> = 1 -> Assertion failed
-<errorCode> = 3 -> Assertion failed
+<errorCode> = 1 -> Assertion failed at assert(x < 10)
+<errorCode> = 3 -> Assertion failed at assert(x < 10)
 ","severity":"info","type":"Info"}],"sources":{"A":{"id":0}}}

test/cmdlineTests/standard_model_checker_invariants_reentrancy/output.json

@@ -7,11 +7,11 @@
 ","message":"Return value of low-level calls not used.","severity":"warning","sourceLocation":{"end":143,"file":"A","start":132},"type":"Warning"},{"component":"general","errorCode":"1180","formattedMessage":"Info: Reentrancy property(ies) for A:test:
 ((!(x <= 0) || (x' <= 0)) && (!(x <= 0) || (<errorCode> <= 0)))
 <errorCode> = 0 -> no errors
-<errorCode> = 1 -> Assertion failed
+<errorCode> = 1 -> Assertion failed at assert(x < 10)
 
 
 ","message":"Reentrancy property(ies) for A:test:
 ((!(x <= 0) || (x' <= 0)) && (!(x <= 0) || (<errorCode> <= 0)))
 <errorCode> = 0 -> no errors
-<errorCode> = 1 -> Assertion failed
+<errorCode> = 1 -> Assertion failed at assert(x < 10)
 ","severity":"info","type":"Info"}],"sources":{"A":{"id":0}}}