From 9e70511b65d2ba4ed6a1a73d4ea8cf27dfdc411b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Mon, 27 Jan 2014 14:05:05 +0100
Subject: [PATCH] Deactivate old generate part
---
coalgcompare.ml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/coalgcompare.ml b/coalgcompare.ml
index 0da2bb5..8356f34 100644
--- a/coalgcompare.ml
+++ b/coalgcompare.ml
@@ -113,6 +113,7 @@ let solvers =
let expQ (tbox, sf) = C.exportQuery tbox sf
+(*
let rateF = int_of_string Sys.argv.(1)
let rateP = int_of_string Sys.argv.(2)
let nr = int_of_string Sys.argv.(3)
@@ -129,6 +130,7 @@ let genQ = genQuery litFkt pFkt tbcardFkt tbfsizeFkt
let _ = G.toGnuPlot ~dots:10 ~timeout:10 ~fail:true expQ genQ solvers nr start stop ((+) step)
+*)
(*
let files = [ ("benchmarks/DL98/DL98_alc_branch_sat.txt", "branch\\_n");
--
GitLab