Changing from AP file to property file (!21) · Merge requests · Niklas Krafczyk / libsfsmtest

Niklas Krafczyk requested to merge rc-v2.0 into master Apr 11, 2023

This introduces a potentially breaking change compared to all v1.*: Instead of a file specifying atomic propositions to use during testing, a file containing a single LTL formula has to be specified. This LTL formula will be decomposed into its atomic propositions which are then used for testing.

Changing from AP file to property file

Merge request reports