From 83e3a79bd1cf925324bb63a214da7d78ed1653f7 Mon Sep 17 00:00:00 2001
From: Huanyi Chen <huanyi-chen@hotmail.com>
Date: Fri, 4 Jan 2019 17:26:00 -0500
Subject: [PATCH] Remove testcase that takes long time to finish
---
examples/python/mini_ic3.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/examples/python/mini_ic3.py b/examples/python/mini_ic3.py
index 048e8e518..39756d207 100644
--- a/examples/python/mini_ic3.py
+++ b/examples/python/mini_ic3.py
@@ -394,7 +394,7 @@ test("data/horn2.smt2")
test("data/horn3.smt2")
test("data/horn4.smt2")
test("data/horn5.smt2")
-test("data/horn6.smt2")
+# test("data/horn6.smt2") # takes long time to finish