Skip to content

Commit

Permalink
✏️ Fix a typo in a test
Browse files Browse the repository at this point in the history
  • Loading branch information
Zeta611 committed Jul 10, 2024
1 parent 863d5b6 commit 0dba5d0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/test_react_trace.ml
Original file line number Diff line number Diff line change
Expand Up @@ -416,7 +416,7 @@ view [D ()]
|}
in
let { Interp.steps; _ } = Interp.run ~fuel prog in
Alcotest.(check' int) ~msg:"step two times" ~expected:fuel ~actual:steps
Alcotest.(check' int) ~msg:"step indefintely" ~expected:fuel ~actual:steps

let set_in_effect_twice_step_one_time () =
let prog =
Expand Down

0 comments on commit 0dba5d0

Please sign in to comment.