summaryrefslogtreecommitdiff
path: root/lib/automata.py
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2021-03-01 14:07:10 +0100
committerDaniel Friesel <daniel.friesel@uos.de>2021-03-01 14:07:10 +0100
commit7a24fa3f80ffab54488b2f01c31a500d79519f94 (patch)
tree7898c9cd20fb822041c29a48a7ee96634683248d /lib/automata.py
parentd7d1110a5bb908632733ca8268327f23732f26a8 (diff)
Set DFATOOL_NO_PARAM to disable parameter fitting
Diffstat (limited to 'lib/automata.py')
0 files changed, 0 insertions, 0 deletions