Commit 4251fd4a authored by MARCHE Claude's avatar MARCHE Claude

[Interp] identified problem to solve: stack overflow...

parent c66385d7
......@@ -145,6 +145,8 @@ execute examples/vstte10_max_sum.mlw TestCase.test_case
execute examples/verifythis_fm2012_LRS.mlw LCP_test.bench
execute examples/verifythis_fm2012_LRS.mlw SuffixSort_test.bench
execute examples/verifythis_fm2012_LRS.mlw SuffixArray_test.bench
# fails: Stack Overflow !
# examples/verifythis_fm2012_LRS.mlw --exec LRS_test.bench
# fails: needs support for Array.copy
# examples/verifythis_PrefixSumRec.mlw --exec PrefixSumRec.bench
execute examples/vstte10_queens.mlw NQueens.test8
......
......@@ -517,18 +517,20 @@ lemma le_le_common_prefix:
end
(*
module LRS_test
use import array.Array
use import ref.Ref
use import LRS
use import array.Array
use import ref.Ref
use import LRS
exception BenchFailure
let test () =
let bench () raises { BenchFailure -> true } =
let arr = Array.make 4 0 in
arr[0]<-7; arr[1]<-8; arr[2]<-8; arr[3]<-9;
(* [7,8,8,6] *)
arr[0]<-7; arr[1]<-8; arr[2]<-8; arr[3]<-6;
lrs arr;
check { !solStart = 1 /\ !solLength = 1 }
if !solStart <> 1 then raise BenchFailure;
if !solLength <> 1 then raise BenchFailure
end
*)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment