Delay next_state in check_disagree in case of exceptions

ocaml-multicore · Oct 10, 2023 · 62e747a · 62e747a
1 parent c549513
commit 62e747a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/STM.ml b/lib/STM.ml
@@ -181,9 +181,9 @@ struct
       | c::cs ->
         let res = Spec.run c sut in
         let b   = Spec.postcond c s res in
-        let s'  = Spec.next_state c s in
         if b
         then
+          let s'  = Spec.next_state c s in
           match check_disagree s' sut cs with
           | None -> None
           | Some rest -> Some ((c,res)::rest)