|
|
d84686f |
--- a/test/instrument/apply/special.t 2022-02-02 07:03:54.000000000 -0700
|
|
|
d84686f |
+++ b/test/instrument/apply/special.t 2022-02-08 16:37:16.423128075 -0700
|
|
|
d84686f |
@@ -97,7 +97,6 @@ Subexpressions are still instrumented.
|
|
|
d84686f |
> let _ = (:=) (ref (print_endline "foo")) (print_endline "bar")
|
|
|
d84686f |
> EOF
|
|
|
d84686f |
let _ = ref (___bisect_post_visit___ 0 (print_endline "foo"))
|
|
|
d84686f |
-
|
|
|
d84686f |
let _ = !(ref (___bisect_post_visit___ 1 (print_endline "foo")))
|
|
|
d84686f |
|
|
|
d84686f |
let _ =
|
|
|
d84686f |
@@ -310,5 +309,4 @@ Subexpressions are still instrumented.
|
|
|
d84686f |
"bar")
|
|
|
d84686f |
|
|
|
d84686f |
let _ = ignore (___bisect_post_visit___ 3 (print_endline "foo"))
|
|
|
d84686f |
-
|
|
|
d84686f |
let _ = Obj.magic (___bisect_post_visit___ 4 (print_endline "foo"))
|
|
|
d84686f |
--- a/test/instrument/attribute.t 2022-02-02 07:03:54.000000000 -0700
|
|
|
d84686f |
+++ b/test/instrument/attribute.t 2022-02-08 16:37:16.424128075 -0700
|
|
|
d84686f |
@@ -78,5 +78,4 @@ Non-coverage attributes are preserved un
|
|
|
d84686f |
[@@@foo print_endline "bar"]
|
|
|
d84686f |
|
|
|
d84686f |
let _ = () [@@foo print_endline "bar"]
|
|
|
d84686f |
-
|
|
|
d84686f |
let _ = () [@foo print_endline "bar"]
|
|
|
d84686f |
--- a/test/instrument/class/class.t 2022-02-02 07:03:54.000000000 -0700
|
|
|
d84686f |
+++ b/test/instrument/class/class.t 2022-02-08 16:37:16.424128075 -0700
|
|
|
d84686f |
@@ -22,9 +22,7 @@ Parameters are preserved.
|
|
|
d84686f |
> end
|
|
|
d84686f |
> EOF
|
|
|
d84686f |
class foo_1 () = object end
|
|
|
d84686f |
-
|
|
|
d84686f |
class foo_2 ~l:_ = object end
|
|
|
d84686f |
-
|
|
|
d84686f |
class foo_3 ?l:_ () = object end
|
|
|
d84686f |
|
|
|
d84686f |
|
|
|
d84686f |
--- a/test/instrument/class/instvar.t 2022-02-02 07:03:54.000000000 -0700
|
|
|
d84686f |
+++ b/test/instrument/class/instvar.t 2022-02-08 16:37:16.424128075 -0700
|
|
|
d84686f |
@@ -25,6 +25,7 @@ Pexp_override traversed.
|
|
|
d84686f |
> val x = ()
|
|
|
d84686f |
> method foo = {< x = print_endline "foo" >}
|
|
|
d84686f |
> end
|
|
|
d84686f |
+ > EOF
|
|
|
d84686f |
let _ =
|
|
|
d84686f |
object
|
|
|
d84686f |
val x = ()
|
|
|
d84686f |
--- a/test/instrument/value.t 2022-02-02 07:03:54.000000000 -0700
|
|
|
d84686f |
+++ b/test/instrument/value.t 2022-02-08 16:37:16.424128075 -0700
|
|
|
d84686f |
@@ -72,7 +72,6 @@ No instrumentation is inserted into expr
|
|
|
d84686f |
> let _ = Failure (String.concat "" [])
|
|
|
d84686f |
> EOF
|
|
|
d84686f |
let _ = Failure "foo"
|
|
|
d84686f |
-
|
|
|
d84686f |
let _ = Failure (___bisect_post_visit___ 0 (String.concat "" []))
|
|
|
d84686f |
|
|
|
d84686f |
|
|
|
d84686f |
@@ -87,7 +86,6 @@ No instrumentation is inserted into expr
|
|
|
d84686f |
> let _ = `Foo (print_endline "foo")
|
|
|
d84686f |
> EOF
|
|
|
d84686f |
let _ = `Foo "bar"
|
|
|
d84686f |
-
|
|
|
d84686f |
let _ = `Foo (___bisect_post_visit___ 0 (print_endline "foo"))
|
|
|
d84686f |
|
|
|
d84686f |
|
|
|
d84686f |
@@ -96,7 +94,6 @@ No instrumentation is inserted into expr
|
|
|
d84686f |
> let _ = {contents = print_endline "foo"}
|
|
|
d84686f |
> EOF
|
|
|
d84686f |
let _ = { contents = 0 }
|
|
|
d84686f |
-
|
|
|
d84686f |
let _ = { contents = ___bisect_post_visit___ 0 (print_endline "foo") }
|
|
|
d84686f |
|
|
|
d84686f |
|
|
|
d84686f |
@@ -171,7 +168,6 @@ No instrumentation is inserted into expr
|
|
|
d84686f |
> let _ = fun () -> (print_endline "foo" : unit)
|
|
|
d84686f |
> EOF
|
|
|
d84686f |
let _ = (0 : int)
|
|
|
d84686f |
-
|
|
|
d84686f |
let _ = (___bisect_post_visit___ 0 (print_endline "foo") : unit)
|
|
|
d84686f |
|
|
|
d84686f |
let _ =
|
|
|
d84686f |
@@ -193,7 +189,6 @@ No instrumentation is inserted into expr
|
|
|
d84686f |
`Foo
|
|
|
d84686f |
|
|
|
d84686f |
let _ = (___bisect_post_visit___ 1 (f ()) :> [ `Foo | `Bar ])
|
|
|
d84686f |
-
|
|
|
d84686f |
let _ = fun () -> (f () :> [ `Foo | `Bar ])
|
|
|
d84686f |
|
|
|
d84686f |
|