1 files changed, 37 insertions, 0 deletions
diff --git a/test/eqmp.art b/test/eqmp.art
new file mode 100644
index 0000000..b7c63c6
--- /dev/null
+++ b/test/eqmp.art
@@ -0,0 +1,37 @@
+"x"
+"bool"
+typeOp
+nil
+opType
+1
+def
+var
+"c"
+const
+1
+ref
+constTerm
+2
+def
+absTerm
+"a"
+const
+1
+ref
+constTerm
+3
+def
+appTerm
+refl
+"y"
+1
+remove
+var
+2
+remove
+absTerm
+3
+remove
+appTerm
+assume
+eqMp