tests: check the typed symbols in the reports

* tests/report.at: New. * tests/local.mk, tests/testsuite.at: Use it.
2026-03-09 12:23:04 +00:00 · 2018-06-18 08:52:25 +02:00
parent 27767290da
commit 34d1773990
3 changed files with 303 additions and 0 deletions
--- a/tests/local.mk
+++ b/tests/local.mk
@@ -61,6 +61,7 @@ TESTSUITE_AT =                                  \
  tests/push.at                                 \
  tests/reduce.at                               \
  tests/regression.at                           \
+  tests/report.at                               \
  tests/sets.at                                 \
  tests/skeletons.at                            \
  tests/synclines.at                            \