Skip to content

Allowing logic operators in top level of LTL formulas

Niklas Krafczyk requested to merge hotfix-LTLFormulaLogic into master

Also removing and adding some debug outputs.

Merge request reports