🧪 Add a test (currently fails)

Effect commit is not correct now

bin/main.ml

@@ -1,4 +1,5 @@
 open! Base
+open Stdio
 open React_trace
 
 let test_prog =
@@ -22,7 +23,18 @@ let test_prog =
                           (App
                              {
                                fn = Var "setS";
-                               arg = Fn { param = "s"; body = Const (Int 43) };
+                               arg =
+                                 Fn
+                                   {
+                                     param = "s";
+                                     body =
+                                       Bin_op
+                                         {
+                                           op = Plus;
+                                           left = Var "s";
+                                           right = Const (Int 1);
+                                         };
+                                   };
                              }),
                         View [ Const Unit ] );
                 });
@@ -34,5 +46,6 @@ let () =
   Logs.set_reporter (Logs_fmt.reporter ());
   Logs.set_level (Some Logs.Debug);
   Sexp.pp_hum Stdlib.Format.std_formatter (Syntax.Prog.sexp_of_t test_prog);
-  Interp.run test_prog;
+  let { Interp.steps } = Interp.run ~fuel:4 test_prog in
+  printf "\nSteps: %d\n" steps;
   Stdlib.exit (if Logs.err_count () > 0 then 1 else 0)

dune-project

@@ -26,7 +26,8 @@
    base
    fmt
    logs
-   stdio)
+   stdio
+   (alcotest :with-test))
  (tags
   (React "Static Analysis")))
 

lib/interp.ml

@@ -354,7 +354,9 @@ let step_path (path : Path.t) : bool =
   if has_updates then commit_effs path;
   has_updates
 
-let run ?(step : int option) (prog : Prog.t) : unit =
+type run_info = { steps : int }
+
+let run ?(fuel : int option) (prog : Prog.t) : run_info =
   Logger.run prog;
   let driver () =
     let cnt = ref 1 in
@@ -363,8 +365,10 @@ let run ?(step : int option) (prog : Prog.t) : unit =
       Int.incr cnt;
       Logs.info (fun m -> m "Step %d" !cnt);
       if step_path path then
-        match step with Some n when !cnt >= n -> () | _ -> loop ()
+        match fuel with Some n when !cnt >= n -> () | _ -> loop ()
     in
-    loop ()
+    loop ();
+    !cnt
   in
-  mem_h driver () ~mem:Tree_mem.empty |> ignore
+  let steps = mem_h driver () ~mem:Tree_mem.empty |> fst in
+  { steps }

react_trace.opam

@@ -16,6 +16,7 @@ depends: [
   "fmt"
   "logs"
   "stdio"
+  "alcotest" {with-test}
   "odoc" {with-doc}
 ]
 build: [

test/dune

@@ -1,2 +1,3 @@
 (test
+ (libraries alcotest base react_trace)
  (name test_react_trace))

test/test_react_trace.ml

@@ -0,0 +1,92 @@
+open! Base
+open React_trace
+
+let fuel = 100
+
+let set_in_effect_step_two_times () =
+  let prog =
+    let open Syntax in
+    Prog.(
+      Comp
+        ( {
+            name = "C";
+            param = "x";
+            body =
+              Expr.(
+                Stt
+                  {
+                    label = 0;
+                    stt = "s";
+                    set = "setS";
+                    init = Const (Int 42);
+                    body =
+                      Seq
+                        ( Eff
+                            (App
+                               {
+                                 fn = Var "setS";
+                                 arg = Fn { param = "s"; body = Const (Int 43) };
+                               }),
+                          View [ Const Unit ] );
+                  });
+          },
+          Expr Expr.(View [ App { fn = Var "C"; arg = Const Unit } ]) ))
+  in
+  let { Interp.steps } = Interp.run ~fuel prog in
+  Alcotest.(check' int) ~msg:"step two times" ~expected:2 ~actual:steps
+
+let set_in_effect_step_indefinitely () =
+  let prog =
+    let open Syntax in
+    Prog.(
+      Comp
+        ( {
+            name = "C";
+            param = "x";
+            body =
+              Expr.(
+                Stt
+                  {
+                    label = 0;
+                    stt = "s";
+                    set = "setS";
+                    init = Const (Int 42);
+                    body =
+                      Seq
+                        ( Eff
+                            (App
+                               {
+                                 fn = Var "setS";
+                                 arg =
+                                   Fn
+                                     {
+                                       param = "s";
+                                       body =
+                                         Bin_op
+                                           {
+                                             op = Plus;
+                                             left = Var "s";
+                                             right = Const (Int 1);
+                                           };
+                                     };
+                               }),
+                          View [ Const Unit ] );
+                  });
+          },
+          Expr Expr.(View [ App { fn = Var "C"; arg = Const Unit } ]) ))
+  in
+  let { Interp.steps } = Interp.run ~fuel prog in
+  Alcotest.(check' int) ~msg:"step indefintely" ~expected:fuel ~actual:steps
+
+let () =
+  let open Alcotest in
+  run "Interpreter"
+    [
+      ( "steps",
+        [
+          test_case "Set in effect should step two times" `Quick
+            set_in_effect_step_two_times;
+          test_case "Set in effect should step indefintely" `Quick
+            set_in_effect_step_indefinitely;
+        ] );
+    ]