diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-25 15:34:25 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-07-25 15:34:25 +0200 |
| commit | 5d1ddebcfdc372902d6b01f267b622094c2c751c (patch) | |
| tree | 3e5ad07e9546888ce2d6f558ce9e5f513bbb519f /lib/runner.py | |
| parent | e0609155a809167cb260a441f708362a189852ab (diff) | |
Move trace filter from postprocessing to automata module
This drastically increases performance
Diffstat (limited to 'lib/runner.py')
0 files changed, 0 insertions, 0 deletions