Add test with unused error id

2023-10-03 13:03:40 +00:00 · 2020-08-14 12:58:27 +02:00
parent 1b720cf674
commit 5afd1219f5
1 changed files with 8 additions and 0 deletions
@@ -0,0 +1,8 @@
+pragma experimental SMTChecker;
+
+contract C {
+	uint z = 0;
+	uint x = 2 / z;
+}
+// ----
+// Warning 6084: (69-74): Division by zero happens here.