changed some parts of the grammar (LTL) and the test file.Created a folder to put all the tests file there and execute them each time the clafer grammar is changed.
changed some parts of the grammar (LTL) and the test file.Created a folder to put all the tests file there and execute them each time the clafer grammar is changed.