Open smover opened 7 years ago
@ftc This is the pull request we were talking about. Could you check if the structure of the test cases is adequate?
The idea is that these should be test cases in the java subset that the concrete interpreter should be able to run.
The pull request add a list of features supported by the language (I did not define a syntax or a formal semantic) and a set of test cases for the supported features.
I would like to get feedback on how to improve the tests (e.g. is the structure of the test ok? Are there corner cases in the semantic that we want to test?) and then merge the current changes .