fixed ltlmc/config.xml and .out files

kframework · Jun 3, 2014 · 5cad9b5 · 5cad9b5
1 parent 1dab7cf
commit 5cad9b5
Show file tree

Hide file tree

Showing 3 changed files with 175 additions and 521 deletions.
diff --git a/ltlmc/config.xml b/ltlmc/config.xml
@@ -40,8 +40,8 @@
       <kompile-option name="--directory" value="cink-kompiled-symbolic" />
       <program name="sums.cink">
         <krun-option name="--ltlmc" value="[]Ltl (L ->Ltl eqToSum(s,i)) " />
-        <krun-option name="--cIN" value="ListItem(#symInt(n))" />
-        <krun-option name="--cPC" value="#symInt(n) &lt;Int 3"  />
+        <krun-option name="-cIN" value="ListItem(#symInt(n))" />
+        <krun-option name="-cPC" value="#symInt(n) &lt;Int 3"  />
         <krun-option name="--directory" value="cink-kompiled-symbolic" />
       </program>
     </test>