Commit e57b83c3 authored by Christian Müller's avatar Christian Müller
Browse files

README

parent 97ee6e91
...@@ -13,3 +13,9 @@ An example can be found at ``de.tum.workflows.Main`` ...@@ -13,3 +13,9 @@ An example can be found at ``de.tum.workflows.Main``
It can be run using ``sbt run`` and logs the resulting LTL formulas for the example workflow to the console. It can be run using ``sbt run`` and logs the resulting LTL formulas for the example workflow to the console.
(You can generate an eclipse project file for use with Scala IDE by running ``sbt eclipse`` after installing the sbt plugin) (You can generate an eclipse project file for use with Scala IDE by running ``sbt eclipse`` after installing the sbt plugin)
## Testing
Generating an accepting run can be done by locally installing Spot (https://spot.lrde.epita.fr),
or at https://spot.lrde.epita.fr/trans.html.
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