Merge pull request #22 from peterschrammel/2ls-config

2LS uses --heap-interval domain

Author: tautschnig

2ls.inc

@@ -54,7 +54,7 @@ run()
       fi
     fi
   else
-    PROPERTY="$PROPERTY --k-induction --competition-mode"
+    PROPERTY="$PROPERTY --heap-interval --k-induction --competition-mode"
 
     # run the tool
     $TOOL_BINARY --graphml-witness $LOG.witness $BIT_WIDTH $PROPERTY \