code for paperRealistic-Generation-SURE

1 files changed, 33 insertions, 0 deletions

diff --git a/Metrics/Metrics-Calculation/RealisticRunner/github.vsconfig b/Metrics/Metrics-Calculation/RealisticRunner/github.vsconfig
new file mode 100644
index 00000000..4c9d9212
--- /dev/null
+++ b/Metrics/Metrics-Calculation/RealisticRunner/github.vsconfig
@@ -0,0 +1,33 @@
+import epackage "models/github.ecore"
+import viatra "queries/github.vql"
+
+generate {
+        metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url,
+                        Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, 
+                        IssueEvent.actor_url, Project.deleted}}
+        partial-model = { "inputs/github.xmi"}
+        constraints = { package queries }
+        
+
+        solver = ViatraSolver
+        
+        scope = {
+                #node = 41
+        }
+        
+        number = 1
+        runs = 100
+        config = {
+                log-level = none,
+                //runtime = 300,
+                "optional-wf" = "false",
+                "realistic-guidance" = "Composite",
+                "allow-must-violations" = "false",
+                "domain" = "Github",
+                "scopePropagator" = "typeHierarchy"
+        }
+        
+        debug = "none"
+        statistics = "statistics/Github/warmup.csv"
+        output = "dummyout/"
+}
\ No newline at end of file