1 files changed, 33 insertions, 0 deletions
diff --git a/testsuite/tests/basic/divint.reference b/testsuite/tests/basic/divint.reference
new file mode 100644
index 000000000..4aa1e2110
--- /dev/null
+++ b/testsuite/tests/basic/divint.reference
@@ -0,0 +1,33 @@
+2 int
+3 int
+4 int
+5 int
+6 int
+7 int
+9 int
+10 int
+11 int
+12 int
+25 int
+55 int
+125 int
+625 int
+-2 int
+-3 int
+2 nat
+3 nat
+4 nat
+5 nat
+6 nat
+7 nat
+9 nat
+10 nat
+11 nat
+12 nat
+25 nat
+55 nat
+125 nat
+625 nat
+-2 nat
+-3 nat
+Test passed.