import epackage "http://www.eclipse.org/emf/2002/Ecore" metamodel allSupported { package ecore excluding { EClassifier.instanceClass,EClassifier.defaultValue,EEnumLiteral.instance,EStructuralFeature.defaultValue, EJavaClass, EJavaObject, EJavaObject, EPackage.eFactoryInstance, EFactory, EFactory.ePackage } } generate { metamodel = allSupported //constraints = { ... } partial-model = { "platform:/resource/Ecore-Plugin/InitialPackage.ecore" } solver = ViatraSolver scope = { #node += 5, #string += { "A", "B" }, #int += {0,1,-1} } config = { runtime = 10000, log-level = normal } number = 5 runs = 1 debug = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug" log = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/log.txt" output = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/models" statistics = "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/statistics.csv" }