Skip to content

Commit

Permalink
Improve reporting in Dynarray lin test
Browse files Browse the repository at this point in the history
By raising an exception rather than aborting the program.
  • Loading branch information
OlivierNicole committed Jan 27, 2025
1 parent efd5d96 commit bb20fd4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/dynarray/lin_tests.ml
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ module Dynarray_api = struct

let get_check a i =
let v = Dynarray.get a i in
if not (Obj.is_int (Obj.repr v)) then (Printf.eprintf "dummy found!\n%!"; exit 1) else v
if not (Obj.is_int (Obj.repr v)) then failwith "dummy found!" else v

let api =
(*let int_not_too_big = int_bound 2048 in*)
Expand Down

0 comments on commit bb20fd4

Please sign in to comment.