Domains/github-graph/github.vsconfig


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

import epackage "sure.ghtorrent.github"

generate {
	metamodel = {package github}
	partial-model = { "inputs/github.githubmodel"}
//	constraints = { package queries }
	

	solver = ViatraSolver
	
	scope = {
		#node = 100
	}
	
	number = 1
	runs = 1
	config = {
		log-level = none,
		"optional-wf" = "true",
		"realistic-guidance" = "Composite",
		"allow-must-violations" = "true",
		"domain" = "Github"
	}
	
	debug = "debug"
	output = "output/github/"
}