Skip to content

Commit

Permalink
Make QCheck2.state.res immutable
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Jul 1, 2024
1 parent 53476ad commit c2fa923
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/core/QCheck2.ml
Original file line number Diff line number Diff line change
Expand Up @@ -1567,7 +1567,7 @@ module Test = struct
step: 'a step;
handler : 'a handler;
rand: RS.t;
mutable res: 'a TestResult.t;
res: 'a TestResult.t;
mutable cur_count: int; (** number of iterations remaining to do *)
mutable cur_max_gen: int; (** maximum number of generations allowed *)
mutable cur_max_fail: int; (** maximum number of counter-examples allowed *)
Expand Down

0 comments on commit c2fa923

Please sign in to comment.