diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-10-27 17:00:25 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-10-27 17:00:25 +0200 |
| commit | a9f6886b54107970dc8d4f5ff30a1bc5873e6c9b (patch) | |
| tree | 033faa20423271d638d9c81e6800e8f167361b63 /Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF | |
| 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/META-INF')
0 files changed, 0 insertions, 0 deletions