summaryrefslogtreecommitdiff
path: root/data
diff options
context:
space:
mode:
Diffstat (limited to 'data')
-rw-r--r--data/unit-testing/Makefile23
-rw-r--r--data/unit-testing/access.fate22
2 files changed, 45 insertions, 0 deletions
diff --git a/data/unit-testing/Makefile b/data/unit-testing/Makefile
new file mode 100644
index 0000000..652dc05
--- /dev/null
+++ b/data/unit-testing/Makefile
@@ -0,0 +1,23 @@
+TONKADUR_COMPILER ?= java -jar /my/src/tonkadur/src/json-export/tonkadur_json_export_standalone.jar
+TONKADUR_INTERPRETER ?= python3 /my/src/tonkadur-python-engine/tonkadur_ui.py -f
+
+FATE_FILES ?= $(wildcard ${CURDIR}/*.fate)
+JSON_FILES ?= $(patsubst %.fate,%.fate.json,$(FATE_FILES))
+RESULT_FILES ?= $(patsubst %.fate,%.txt,$(FATE_FILES))
+
+default: $(RESULT_FILES)
+ @echo "########"
+ @echo "Non-Completed tests:"
+ @grep -L -r COMPLETED $(RESULT_FILES) || true
+ @echo "########"
+ @echo "Failed tests:"
+ @grep -r FAILED $(RESULT_FILES) || true
+
+clean:
+ rm -f $(JSON_FILES) $(RESULT_FILES)
+
+$(RESULT_FILES): %.txt: %.fate.json
+ $(TONKADUR_INTERPRETER) $< > $@
+
+$(JSON_FILES): %.fate.json: %.fate
+ $(TONKADUR_COMPILER) $<
diff --git a/data/unit-testing/access.fate b/data/unit-testing/access.fate
new file mode 100644
index 0000000..c829454
--- /dev/null
+++ b/data/unit-testing/access.fate
@@ -0,0 +1,22 @@
+(fate_version 1)
+
+(global (list int) li)
+(global (ptr (list int)) li_ptr)
+
+(set li (range 0 10 1))
+(set li_ptr (ptr li))
+
+(global int i)
+
+(for (set i 0) (< i 10) (set i (+ i 1))
+ (assert (= (access li i) (var i))
+ [FAILED] ACCESS assert failed on (var i) for li.
+ )
+ (assert (= (access li_ptr i) (var i))
+ [FAILED] ACCESS assert failed on (var i) with for li_ptr.
+ )
+)
+
+[COMPLETED] ACCESS
+
+(end)