Commit 9cecb3cd32bafa3259b5d08969b759f4f6bba8ca

Thomas de Grivel 2023-01-28T18:27:58

test add

diff --git a/test/ic3/add.err.expected b/test/ic3/add.err.expected
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/test/ic3/add.err.expected
diff --git a/test/ic3/add.in b/test/ic3/add.in
new file mode 100644
index 0000000..e0ef584
--- /dev/null
+++ b/test/ic3/add.in
@@ -0,0 +1 @@
+1 + 2
diff --git a/test/ic3/add.out.expected b/test/ic3/add.out.expected
new file mode 100644
index 0000000..00750ed
--- /dev/null
+++ b/test/ic3/add.out.expected
@@ -0,0 +1 @@
+3
diff --git a/test/ic3/add.ret.expected b/test/ic3/add.ret.expected
new file mode 100644
index 0000000..573541a
--- /dev/null
+++ b/test/ic3/add.ret.expected
@@ -0,0 +1 @@
+0