Merge pull request #68 from FrNecas/2ls-arrays

Make use of 2LS array domain

Author: tautschnig

2ls.inc

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