| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2020-11-03 11:03:10 +0100 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2020-11-03 11:03:10 +0100 |
| commit | 47ed18431dfdbbbe483ccea70518edb932595650 (patch) | |
| tree | ff9ad1b87f3629708d76c6d64d3e2ea85cb43f78 /data | |
| parent | 91158337a10c006971b66818cabb2e1bed3d494a (diff) | |
Starting some unit testing...
Diffstat (limited to 'data')
| -rw-r--r-- | data/unit-testing/Makefile | 23 | ||||
| -rw-r--r-- | data/unit-testing/access.fate | 22 |
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) |


