diff options
author | 2017-10-27 17:00:25 +0200 | |
---|---|---|
committer | 2017-10-27 17:00:25 +0200 | |
commit | a9f6886b54107970dc8d4f5ff30a1bc5873e6c9b (patch) | |
tree | 033faa20423271d638d9c81e6800e8f167361b63 /Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries | |
parent | Runners (diff) | |
download | VIATRA-Generator-a9f6886b54107970dc8d4f5ff30a1bc5873e6c9b.tar.gz VIATRA-Generator-a9f6886b54107970dc8d4f5ff30a1bc5873e6c9b.tar.zst VIATRA-Generator-a9f6886b54107970dc8d4f5ff30a1bc5873e6c9b.zip |
Random seed added to Alloy config
This adds <random> number of lines to the specification to prevemt alloy
to give the same solution.
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries')
0 files changed, 0 insertions, 0 deletions