diff options
author | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 03:06:22 +0100 |
---|---|---|
committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-02-16 03:06:22 +0100 |
commit | 0ebddc8dd265cd5b1b439e3c06f1de1047641559 (patch) | |
tree | 7141673072f4d6a48a9b12d23b9f01261717a8f7 /Tests | |
parent | Ready for strategies case study (diff) | |
download | VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.tar.gz VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.tar.zst VIATRA-Generator-0ebddc8dd265cd5b1b439e3c06f1de1047641559.zip |
add dreal-timeout flag
Diffstat (limited to 'Tests')
0 files changed, 0 insertions, 0 deletions