Regression Testing Suite

Question

Opened this issue 8 years ago · 0 comments

A regression testing suite would be ideal.

Problems to solve:

how to automate it for an IDE? Perhaps we can do what we did in SIMPAL and create a command line utility. See https://github.com/lgwagner/SIMPAL/blob/master/source/com.rockwellcollins.atc.limp.translate.lustre/src/com/rockwellcollins/atc/limp/translate/main/Main.java
how to test for validation errors vs analysis errors vs ...
importing can be tricky in a command line interface since right now we use XText