Commit e1ac5410 authored by Christian Müller's avatar Christian Müller

update ltl

parent 6bd62edb
......@@ -25,4 +25,5 @@ build
/bin/
# Resulting ltl formulas
results/*.wf
results/*.ltl
results/*.ppltl
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment