Merge pull request #34 from viktormalik/master

2LS: Provide correct CLI arguments for SV-COMP'18

Author: peterschrammel

2ls.inc

@@ -59,7 +59,7 @@ run()
       fi
     fi
   else
-    PROPERTY="$PROPERTY --heap-interval --k-induction --competition-mode"
+    PROPERTY="$PROPERTY --heap-values-refine --sympath --k-induction --competition-mode"
 
     # run the tool
     $TOOL_BINARY --graphml-witness $LOG.witness --object-bits $OBJ_BITS $PROPERTY \