tests: add base_closure_forms

[nit.git] / tests / sav / base_closure_forms.sav

diff --git a/tests/sav/base_closure_forms.sav b/tests/sav/base_closure_forms.sav
new file mode 100644 (file)
index 0000000..2a26d95
--- /dev/null
+++ b/tests/sav/base_closure_forms.sav
@@ -0,0 +1,21 @@
+[2,1]
+[1,2]
+[2,1]
+21
+
+{I:1}
+I=1
+{I:1}
+V=5
+{I:1,V:5}
+V=5
+{I:1,V:5}
+X=0
+{I:1,V:5}
+I=1;V=5;
+
+O?true
+C1
+O?false
+
+E404