-
Harco Kuppens authored
implemented in the unit test that we can all possible verifiers to verify model (not only cadp) cleaned up input/ folder => removed duplicates which are already in input folder
e226d324
implemented in the unit test that we can all possible verifiers to verify model (not only cadp) cleaned up input/ folder => removed duplicates which are already in input folder