config.xml for ktest (for #5)

kframework · Jun 2, 2017 · 1a1e79c · 1a1e79c
1 parent 1726e2c
commit 1a1e79c
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/test/config.xml b/test/config.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- Copyright (c) 2017 K Team. All Rights Reserved. -->
+
+<tests>
+  <test
+    definition="../src/haskell-core.k"
+    programs="pkore-samples"
+    extension="pkore"
+    results="pkore-samples">
+    <kompile-option name="--syntax-module" value="HASKELL-CORE-SYNTAX"/>
+  </test>
+</tests>