diff options
author | Daniel Friesel <daniel.friesel@uos.de> | 2020-08-18 15:50:46 +0200 |
---|---|---|
committer | Daniel Friesel <daniel.friesel@uos.de> | 2020-08-18 15:50:46 +0200 |
commit | eddecfcc02ab11b05881e49673a8a8027ae640bf (patch) | |
tree | d495a310bad9237ad886368454946bf71fb430fd /test/__init__.py | |
parent | 1d9bbd0ec9fdc2ed63630137602207260b13285b (diff) |
generate-dfa-benchmark: only set run flags when set
Diffstat (limited to 'test/__init__.py')
0 files changed, 0 insertions, 0 deletions