From ce5aafc07151275363735013c261cacf3d7b6431 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Wed, 11 Sep 2019 15:34:03 -0400 Subject: VAMPIRE: fix model generation --- .../src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend') diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend index 3c6a65ca..5143641b 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend @@ -86,16 +86,16 @@ class FAMTest { classMapMax.put(FunctionalOutput, 4) val typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.trace) - + // Define Config File val vampireConfig = new VampireSolverConfiguration => [ // add configuration things, in config file first it.documentationLevel = DocumentationLevel::FULL - it.typeScopes.minNewElements = 4//24 - it.typeScopes.maxNewElements = 5//25 + it.typeScopes.minNewElements = 8//24 + it.typeScopes.maxNewElements = 10//25 if(typeMapMin.size != 0) it.typeScopes.minNewElementsByType = typeMapMin -// if(typeMapMin.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax +// if(typeMapMax.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax it.contCycleLevel = 5 it.uniquenessDuplicates = false ] -- cgit v1.2.3-54-g00ecf