Merge pull request #2442 from ethereum/remove-why3

Remove Why3 generator
2023-10-03 13:03:40 +00:00 · 2017-06-26 09:20:23 +02:00
parent f879489291 555dc4f46f
commit c328ab411b
7 changed files with 3 additions and 1085 deletions
@@ -152,7 +152,6 @@ void testCompiler()
 				"Exception during compilation",
 				"Unknown exception during compilation",
 				"Unknown exception while generating contract data output",
-				"Unknown exception while generating formal method output",
 				"Unknown exception while generating source name output",
 				"Unknown error while generating JSON"
 			});