Commits

Matthew Hammer  committed 5f059bc

lifted important code out of IFDEF branch

  • Participants
  • Parent commits 05d9b7d
  • Branches nominal

Comments (0)

Files changed (2)

File Source/AdaptonZoo/Adapton.ml

           | None -> ()
           | Some (source:meta) -> begin
               let mut_edge = {mut_flag=Clean; mut_source=source; mut_target=target} in
-              IFDEF ADAPTON_LOG THEN (
-                match !lazy_stack with
-                  | ( dependent, _dependencies_, mutations )::_ ->
-                      mutations := mut_edge :: !mutations
-                  | _ -> ()
-              ) END ;
+              begin match !lazy_stack with
+                | ( dependent, _dependencies_, mutations )::_ ->
+                    mutations := mut_edge :: !mutations
+                | _ -> ()
+              end ;
               let _ = Mut_edges.merge source.mut_out mut_edge in
               let _ = Mut_edges.merge target.mut_in  mut_edge in
               ()

File Test/nominaladaptontest.ml

 
   module I = AKLi
 
-  module Test_case_passes = struct
+  module Test_case_1_passes = struct
     (* The data in this module specifies the failing test case, as
        printed by the failing unit test. *)
     (* TODO: To use delta debugging, we need to read this out of a file;
       ]
   end
 
-  module Test_case = struct
+  module Test_case_2_passes = struct
     let error_message = "\n  update\n    expected: -12 but got: -16\n  on input: (2, [4; -8; -3; -2; -7; -4],\n            [[(true, -9, -1)];\n             [(true, 8, -2); (false, 6, -4); (true, 0, -2); (true, -8, 0);\n              (false, -5, -3); (true, 9, 8); (true, -3, -6); (false, -4, -7)\n             ];\n             [(false, -10, -9); (true, 3, 2); (false, 6, -9); (true, -1, -6);\n              (false, 7, 8); (true, 0, -3)\n             ];\n             [(false, -10, -7); (true, 4, 2); (false, -7, 0);\n              (false, -1, -1); (false, -10, -7); (false, -6, -3);\n              (true, -7, -4)\n             ]; [(false, 2, -3)];\n             [(true, -9, 6); (false, 2, 4); (true, -2, -8); (false, 2, 8);\n              (true, -4, 3); (true, 8, 7); (true, 8, -3); (false, -10, -8);\n              (true, 2, 2)\n             ];\n             [(false, -6, 4); (false, -8, -7); (false, 3, -9); (true, -6, 6)];\n             [(false, -6, 1); (true, -4, 2); (true, 3, -10); (false, -3, -1);\n              (true, 6, -3); (true, 1, -6)\n             ]; []\n            ])"
 
     let label = 2
       ]
   end
 
+  module Test_case = Test_case_2_passes
+
   (* - - - - begin boilerplate - - - - - - *)
   module Apparatus = struct