diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-10-15 17:40:50 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-10-15 17:40:50 +0200 |
| commit | 9fb10653c723f10b36ae0567ff29f08a4e725ea3 (patch) | |
| tree | bdfa5771c66736a0ed5f32b1188c7986770bb4ff /bin/generate-dfa-benchmark.py | |
| parent | a2adf6a90246110fcae4e6a6dcc049d8d69fcb48 (diff) | |
PTA: Add from_file constructor
Diffstat (limited to 'bin/generate-dfa-benchmark.py')
| -rwxr-xr-x | bin/generate-dfa-benchmark.py | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/bin/generate-dfa-benchmark.py b/bin/generate-dfa-benchmark.py index 7f67e1b..3ae51e6 100755 --- a/bin/generate-dfa-benchmark.py +++ b/bin/generate-dfa-benchmark.py @@ -302,11 +302,7 @@ if __name__ == '__main__': modelfile = args[0] - with open(modelfile, 'r') as f: - if '.json' in modelfile: - pta = PTA.from_json(json.load(f)) - else: - pta = PTA.from_yaml(yaml.safe_load(f)) + pta = PTA.from_file(modelfile) if 'shrink' in opt: pta.shrink_argument_values() |