From c4855d20ea351b5ca2cc9f78af8825b283925ff2 Mon Sep 17 00:00:00 2001
From: Martin Blicha <martin.blicha@gmail.com>
Date: Wed, 7 Jun 2023 23:28:31 +0200
Subject: [PATCH] Intentionally failing test

---
 .../smtCheckerTests/simple/failing_test.sol            | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 test/libsolidity/smtCheckerTests/simple/failing_test.sol

diff --git a/test/libsolidity/smtCheckerTests/simple/failing_test.sol b/test/libsolidity/smtCheckerTests/simple/failing_test.sol
new file mode 100644
index 000000000..cf67106b1
--- /dev/null
+++ b/test/libsolidity/smtCheckerTests/simple/failing_test.sol
@@ -0,0 +1,10 @@
+contract C {
+
+    function test() public {
+        assert(false);
+    }
+
+}
+// ====
+// SMTEngine: all
+// ----