diff options
| -rwxr-xr-x | test/mimosa-to-pta-model.py (renamed from bin/test.py) | 0 | ||||
| -rwxr-xr-x | test/pta.py (renamed from bin/test_automata.py) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/bin/test.py b/test/mimosa-to-pta-model.py index 0d0c116..0d0c116 100755 --- a/bin/test.py +++ b/test/mimosa-to-pta-model.py diff --git a/bin/test_automata.py b/test/pta.py index 0ed95be..0ed95be 100755 --- a/bin/test_automata.py +++ b/test/pta.py |