diff options
author | 2019-04-24 02:30:50 -0400 | |
---|---|---|
committer | 2019-04-24 02:30:50 -0400 | |
commit | 515d94e442c644a9984422f11efecacc5041db60 (patch) | |
tree | fabf1bf3afda629a66f19a8742e00ebd0e0bc2c0 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | |
parent | VAMPIRE: close #22, improve test structure for #39, .vql file trouble (diff) | |
download | VIATRA-Generator-515d94e442c644a9984422f11efecacc5041db60.tar.gz VIATRA-Generator-515d94e442c644a9984422f11efecacc5041db60.tar.zst VIATRA-Generator-515d94e442c644a9984422f11efecacc5041db60.zip |
VAMPIRE: add to #40. I am tired
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java index 08f1b4a7..1fcaf9bd 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java | |||
@@ -77,8 +77,8 @@ public class FAMTest { | |||
77 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 77 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
78 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 78 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
79 | it.documentationLevel = DocumentationLevel.FULL; | 79 | it.documentationLevel = DocumentationLevel.FULL; |
80 | it.typeScopes.minNewElements = 4; | 80 | it.typeScopes.minNewElements = 24; |
81 | it.typeScopes.maxNewElements = 5; | 81 | it.typeScopes.maxNewElements = 25; |
82 | int _size = typeMapMin.size(); | 82 | int _size = typeMapMin.size(); |
83 | boolean _notEquals = (_size != 0); | 83 | boolean _notEquals = (_size != 0); |
84 | if (_notEquals) { | 84 | if (_notEquals) { |