Main command line run have `[@coverage off]`

mbarbin / error-log

Reporting located errors and warnings

https://mbarbin.github.io/error-log/

MIT License

1 stars 0 forks source link

Main command line run have `[@coverage off]` #2

Closed mbarbin closed 6 days ago

mbarbin commented 6 months ago

let () =
  (* Non terminating expressions currently have to disable coverage, otherwise a
     non visitable coverage point is inserted. This issue has been reported
     upstream.

     {[
       let () = __bisect_post_visit__ 1 (Command_unix.run main)
     ]}
  *)
  (Command_unix.run main [@coverage off])
;;

mbarbin commented 6 days ago

Fixed by 4cb7927