Add support for instrumenting generated C with branch coverage metrics

Will call:

void sail_branch_reached(int branch_id, char *source_file, int l1, int c1, int l2, int c2);

on each branch caused by a match or if statement in the source code

For each branch that is taken, will call:

void sail_branch_taken(int branch_id, char *source_file, int l1, int c1, int l2, int c2)

Every branch gets a unique identifier, and the functions are called with
the source file location and line/character information for the start
and end of each match case or then/else branch. sail_branch_reached is
given the location info for the whole match statement.

1 files changed, 1 insertions, 1 deletions

diff --git a/opam b/opam
index 8f9310ea..52e4332e 100644
--- a/opam
+++ b/opam
@@ -36,7 +36,7 @@ depends: [
   "conf-gmp"
   "conf-zlib"
   "base64" {< "3.0.0"}
-  "yojson"
+  "yojson" {>= "1.7.0"}
   "pprint"
 ]
 available: [ocaml-version >= "4.06.1"]