Open gelisam opened 1 year ago
The examples/non-examples and examples/failing-examples folders both contain Klister programs which are expected to fail with an error message. There is no reason to have two separate folders.
examples/non-examples
examples/failing-examples
The
examples/non-examplesandexamples/failing-examplesfolders both contain Klister programs which are expected to fail with an error message. There is no reason to have two separate folders.