alt-ergo.patch 2.51 KB
Newer Older
1 2 3 4 5 6 7
Only in alt-ergo-1.00-private-2015-01-29/: autom4te.cache
Only in alt-ergo-1.00-private-2015-01-29/: config.status
Only in alt-ergo-1.00-private-2015-01-29/: .depend
Only in alt-ergo-1.00-private-2015-01-29/: Makefile.configurable
diff -c -r /tmp/alt-ergo-1.00-private-2015-01-29/src/sat/sat_solvers.ml alt-ergo-1.00-private-2015-01-29/src/sat/sat_solvers.ml
*** /tmp/alt-ergo-1.00-private-2015-01-29/src/sat/sat_solvers.ml	2016-04-07 16:01:57.449020746 +0200
--- alt-ergo-1.00-private-2015-01-29/src/sat/sat_solvers.ml	2016-04-08 10:26:05.485174395 +0200
8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
***************
*** 23,28 ****
--- 23,30 ----
  open Options
  open Format
  
+ exception StepsLimitReached
+ 
  module type S = sig
    type t
  
***************
*** 492,499 ****
--- 494,504 ----
        if steps_bound () <> -1
          && Int64.compare !steps (Int64.of_int (steps_bound ())) > 0 then
          begin
+           raise StepsLimitReached;
+ (*
  	  printf "Steps limit reached: %Ld@." !steps;
  	  exit 1
+  *)
          end;
        { env with tbox = tbox; unit_tbox = utbox; inst = inst }
  
33 34 35
diff -c -r /tmp/alt-ergo-1.00-private-2015-01-29/src/sat/sat_solvers.mli alt-ergo-1.00-private-2015-01-29/src/sat/sat_solvers.mli
*** /tmp/alt-ergo-1.00-private-2015-01-29/src/sat/sat_solvers.mli	2016-04-07 16:01:57.449020746 +0200
--- alt-ergo-1.00-private-2015-01-29/src/sat/sat_solvers.mli	2016-04-08 10:26:05.485174395 +0200
36 37 38 39 40 41 42 43 44 45 46
***************
*** 20,25 ****
--- 20,27 ----
  (*   This file is distributed under the terms of the CeCILL-C licence         *)
  (******************************************************************************)
  
+ exception StepsLimitReached
+ 
  module type S = sig
    type t
  
47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71
diff -c -r /tmp/alt-ergo-1.00-private-2015-01-29/src/util/numbers.ml alt-ergo-1.00-private-2015-01-29/src/util/numbers.ml
*** /tmp/alt-ergo-1.00-private-2015-01-29/src/util/numbers.ml	2016-04-07 16:01:57.453020790 +0200
--- alt-ergo-1.00-private-2015-01-29/src/util/numbers.ml	2016-04-08 10:41:51.037337014 +0200
***************
*** 20,28 ****
  (*   This file is distributed under the terms of the CeCILL-C licence         *)
  (******************************************************************************)
  
! module MyZarith = ZarithNumbers
  module MyNums = NumsNumbers
  
! include MyZarith
  
  
--- 20,29 ----
  (*   This file is distributed under the terms of the CeCILL-C licence         *)
  (******************************************************************************)
  
! (* module MyZarith = ZarithNumbers *)
  module MyNums = NumsNumbers
  
! include MyNums
!