started a testsuite

2026-09-28 21:23:37 -06:00 · 2021-08-05 20:45:08 +02:00
parent 36e87668e0
commit 87f1e24384
4 changed files with 20 additions and 1 deletions
@@ -0,0 +1,8 @@
+abstract basic = {
+
+cat N ;
+
+fun Z : N ;
+    S : N -> N ;
+
+}
@@ -0,0 +1,6 @@
+import Test.HUnit
+import PGF2
+
+main = do
+  gr <- readPGF "tests/basic.pgf"
+  runTestTTAndExit (TestCase (assertEqual "abstract names" "basic" (abstractName gr)))