import epackage "FamMetamodel" //import viatra "ca.mcgill.ecse.dslreasoner.standalone.test.queries.fam.FamPatterns" generate { metamodel = { package fam } // constraints = { package ca.mcgill.ecse.dslreasoner.standalone.test.xyz } partial-model = { "platform:/resource/ca.mcgill.ecse.dslreasoner.standalone.test/instanceModels/famInstance.xmi"} solver = ViatraSolver scope = { #node = 5 } config = { runtime = 10000, log-level = normal } number = 2 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" }