Merge pull request #10112 from ethereum/fix-smt-test

Leonardo · web-flow · commit b605ca50c886 · 2020-10-26T13:47:29.000Z
[BREAKING] Fix smt test
diff --git a/test/libsolidity/smtCheckerTests/functions/functions_external_2.sol b/test/libsolidity/smtCheckerTests/functions/functions_external_2.sol
@@ -17,4 +17,5 @@ contract C
 	}
 }
 // ----
+// Warning 6328: (297-321): CHC: Assertion violation might happen here.
 // Warning 4661: (297-321): BMC: Assertion violation happens here.

Original file line number	Diff line number	Diff line change
`@@ -17,4 +17,5 @@ contract C`
`17`	`17`	`}`
`18`	`18`	`}`
`19`	`19`	`// ----`
	`20`	`+// Warning 6328: (297-321): CHC: Assertion violation might happen here.`
`20`	`21`	`// Warning 4661: (297-321): BMC: Assertion violation happens here.`