Once we have a proper language specification (#3 ), we should also add tests to verify that the interpreter correctly accepts/rejects well-formed/ill-formed input files.
This mostly concerns the lexer, and the parsing part of the interpreter. (I.e. with the language specifying which sequences of tokens are allowed, we want to ensure that these are indeed all that the interpreter accepts, and that incorrect sequences of tokens result in the expected error state.)
Once we have a proper language specification (#3 ), we should also add tests to verify that the interpreter correctly accepts/rejects well-formed/ill-formed input files.
This mostly concerns the lexer, and the parsing part of the interpreter. (I.e. with the language specifying which sequences of tokens are allowed, we want to ensure that these are indeed all that the interpreter accepts, and that incorrect sequences of tokens result in the expected error state.)