Commit 0f0c7e2c authored by MARCHE Claude's avatar MARCHE Claude

Fixed session for vstte10_max_sum

parent 677ca025
......@@ -73,12 +73,13 @@ module TestCase
a[7] <- 1;
a[8] <- 10;
a[9] <- 6;
max_sum a n
let (s, m) = max_sum a n in
assert { s = 45 };
assert { m = 10 };
(s, m)
let test_case () raises { BenchFailure -> true } =
let (s, m) = test () in
assert { s = 45 };
assert { m = 10 };
(* bench of --exec *)
if s <> 45 then raise BenchFailure;
if m <> 10 then raise BenchFailure;
......
This diff is collapsed.
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