diff options
author | 2017-10-27 17:36:59 +0200 | |
---|---|---|
committer | 2017-10-27 17:36:59 +0200 | |
commit | 2c6583e73434fac226ffaf972a9dc8aa9bf35f60 (patch) | |
tree | 61b0dc635e3c39dbd07aae64051b1af3a284a15a /Tests | |
parent | Random seed added to Alloy config (diff) | |
download | VIATRA-Generator-2c6583e73434fac226ffaf972a9dc8aa9bf35f60.tar.gz VIATRA-Generator-2c6583e73434fac226ffaf972a9dc8aa9bf35f60.tar.zst VIATRA-Generator-2c6583e73434fac226ffaf972a9dc8aa9bf35f60.zip |
Added a set of mutated queries to yakindu
Diffstat (limited to 'Tests')
0 files changed, 0 insertions, 0 deletions