diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-06-18 08:52:25 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-06-18 08:53:27 +0200 |
commit | 34d1773990417c130f4e19e1fd7edb86a42f09c0 (patch) | |
tree | a3cafceeeb9bdbabf6d99bf71f33f36100be1a53 /tests/local.mk | |
parent | 27767290da059416b4c19ae50c9ccda0528f0686 (diff) | |
download | bison-34d1773990417c130f4e19e1fd7edb86a42f09c0.tar.gz |
tests: check the typed symbols in the reports
* tests/report.at: New.
* tests/local.mk, tests/testsuite.at: Use it.
Diffstat (limited to 'tests/local.mk')
-rw-r--r-- | tests/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/local.mk b/tests/local.mk index bcd3b2b8..46f63b65 100644 --- 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 \ |