diff options
| author | Daniel Friesel <derf@finalrewind.org> | 2019-03-01 15:43:44 +0100 |
|---|---|---|
| committer | Daniel Friesel <derf@finalrewind.org> | 2019-03-01 15:43:44 +0100 |
| commit | db5a1ee454cad546bda011a78ce33e6890cf8ce0 (patch) | |
| tree | 8af01c280b73d1cfd8e06d8a62b1790193f6fdad | |
| parent | 610fb4b531d12886ec144e3004b4c90a2051d96f (diff) | |
move tests to separate directory
| -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 |