Commit 5c3623a5 authored by Christian Müller's avatar Christian Müller

better readme

parent be0c687b
......@@ -36,8 +36,8 @@ Causality
## Testing
``de.tum.workflows.Main`` will use any ``.spec`` files in ``/examples/`` and logs the resulting LTL formulas for the example workflows to results/.
To get a feel for the code, see the tests in ``src/test/scala``
To run the unit tests, you can run ``sbt test``. You can find all the unit tests in ``src/test/scala``.
To test your own examples, run ``de.tum.workflows.Main`` by using ``sbt run``. This will parse all ``.spec`` files in ``/examples/`` and will log the resulting LTL formulas to ``results/``.
### Aalta
The resulting LTL formulas can be tested for satisfiability.
......
p cnf 83 92
23 0
p cnf 35 44
7 0
-7 8 0
-7 9 0
-8 -1 -2 0
-9 10 0
-9 11 0
-10 -1 -3 0
-11 12 0
-11 13 0
-12 -4 -1 0
-13 14 0
-13 15 0
-14 -4 -5 0
-15 16 0
-15 17 0
-16 -4 -2 0
-17 18 0
-17 19 0
-18 -4 -3 0
-19 20 0
-19 21 0
-20 -1 -5 0
-21 22 0
-21 23 0
-22 -6 -4 0
-23 24 0
-23 31 0
-24 25 0
-24 26 0
-25 -1 2 0
-26 27 0
-26 28 0
-27 -3 4 0
-28 29 0
-28 30 0
-29 1 -2 0
-30 3 -4 0
-23 25 0
-24 -6 -1 0
-25 26 0
-25 27 0
-26 -5 -2 0
-27 28 0
-27 29 0
-28 -6 -2 0
-29 30 0
-29 31 0
-30 -5 -3 0
-31 32 0
-31 39 0
-32 33 0
-32 34 0
-33 -5 6 0
-34 35 0
-34 36 0
-35 -7 8 0
-36 37 0
-36 38 0
-37 5 -6 0
-38 7 -8 0
-39 40 0
-39 47 0
-40 41 0
-40 42 0
-41 -9 10 0
-42 43 0
-42 44 0
-43 -11 12 0
-44 45 0
-44 46 0
-45 9 -10 0
-46 11 -12 0
-47 48 0
-47 55 0
-48 49 0
-48 50 0
-49 -13 14 0
-50 51 0
-50 52 0
-51 -15 16 0
-52 53 0
-52 54 0
-53 13 -14 0
-54 15 -16 0
-55 56 0
-55 57 0
-56 -17 -18 0
-57 58 0
-57 59 0
-58 -17 -19 0
-59 60 0
-59 61 0
-60 -20 -17 0
-61 62 0
-61 63 0
-62 -20 -21 0
-63 64 0
-63 65 0
-64 -20 -18 0
-65 66 0
-65 67 0
-66 -20 -19 0
-67 68 0
-67 69 0
-68 -17 -21 0
-69 70 0
-69 71 0
-70 -18 -19 0
-71 72 0
-71 73 0
-72 -22 -21 0
-73 74 0
-73 75 0
-74 -22 -19 0
-75 76 0
-75 77 0
-76 -21 -19 0
-77 78 0
-77 79 0
-78 -22 -18 0
-79 80 0
-79 81 0
-80 -21 -18 0
-81 82 0
-81 83 0
-82 -22 -17 0
-83 -22 -20 0
-31 33 0
-32 -6 -3 0
-33 34 0
-33 35 0
-34 -2 -3 0
-35 -6 -5 0
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