Tests in spl-test-adhoc-hn should be migrated to the main HUnit suite

Open nponeccop opened this issue 14 years ago • 1 comments

Note that many tests are disabled in HN_Tests.hs because they lack assertions (the output was checked manually). These tests should also be re-enabled, rewritten to use HUnit and migrated to the main suite.

[x] HN parser tests
[x] HNI parser tests
[ ] Avoid SPL.Checker3 in the remaining tests

Oct 08 '11 13:10 nponeccop

As of now, most tests crash because they rely on SPL.Checker3 (the legacy type checker developed by inv).

So only HNI parser tests remain to be migrated.

Oct 31 '16 19:10 nponeccop