summaryrefslogtreecommitdiff
path: root/lib/functions.py
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2020-08-18 15:50:46 +0200
committerDaniel Friesel <daniel.friesel@uos.de>2020-08-18 15:50:46 +0200
commiteddecfcc02ab11b05881e49673a8a8027ae640bf (patch)
treed495a310bad9237ad886368454946bf71fb430fd /lib/functions.py
parent1d9bbd0ec9fdc2ed63630137602207260b13285b (diff)
generate-dfa-benchmark: only set run flags when set
Diffstat (limited to 'lib/functions.py')
0 files changed, 0 insertions, 0 deletions