Fix crash due to missing type info

2023-10-03 13:03:40 +00:00 · 2019-02-19 17:28:44 +01:00
parent d9e4a10d5a
commit a63f7ca9df
3 changed files with 10 additions and 1 deletions
@@ -0,0 +1,8 @@
+pragma experimental SMTChecker;
+contract C
+{
+	// Used to crash because Literal had no type
+	int[3] d;
+}
+// ----
+// Warning: (92-100): Assertion checker does not yet support the type of this variable.