Skip to content

Commit

Permalink
[IN-PROGRESS] Working on adding code coverage
Browse files Browse the repository at this point in the history
  • Loading branch information
@7h3kk1d
7h3kk1d committed Aug 10, 2024
1 parent 911c55d commit 833e586
Show file tree
Hide file tree
Showing 10 changed files with 87 additions and 14 deletions.
60 changes: 60 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,3 +56,63 @@ setup.log

# Backup of opam lock file
hazel.opam.locked.old
_coverage/coverage.css
_coverage/coverage.js
_coverage/highlight.pack.js
_coverage/index.html
_coverage/src/haz3lcore/StructureShareSexp.re.html
_coverage/src/haz3lcore/VarMap.re.html
_coverage/src/haz3lcore/dynamics/Builtins.re.html
_coverage/src/haz3lcore/dynamics/Casts.re.html
_coverage/src/haz3lcore/dynamics/Constraint.re.html
_coverage/src/haz3lcore/dynamics/Delta.re.html
_coverage/src/haz3lcore/dynamics/DHExp.re.html
_coverage/src/haz3lcore/dynamics/DHPat.re.html
_coverage/src/haz3lcore/dynamics/Elaborator.re.html
_coverage/src/haz3lcore/dynamics/Environment.re.html
_coverage/src/haz3lcore/dynamics/EvaluatorError.re.html
_coverage/src/haz3lcore/dynamics/FilterAction.re.html
_coverage/src/haz3lcore/dynamics/Incon.re.html
_coverage/src/haz3lcore/dynamics/InvalidOperationError.re.html
_coverage/src/haz3lcore/dynamics/Sets.re.html
_coverage/src/haz3lcore/dynamics/VarBstMap.re.html
_coverage/src/haz3lcore/lang/Form.re.html
_coverage/src/haz3lcore/lang/Operators.re.html
_coverage/src/haz3lcore/lang/Precedence.re.html
_coverage/src/haz3lcore/lang/Sort.re.html
_coverage/src/haz3lcore/lang/term/Any.re.html
_coverage/src/haz3lcore/lang/term/Cls.re.html
_coverage/src/haz3lcore/lang/term/Exp.re.html
_coverage/src/haz3lcore/lang/term/IdTagged.re.html
_coverage/src/haz3lcore/lang/term/Pat.re.html
_coverage/src/haz3lcore/lang/term/Rul.re.html
_coverage/src/haz3lcore/lang/term/TPat.re.html
_coverage/src/haz3lcore/lang/term/Typ.re.html
_coverage/src/haz3lcore/prog/CoreSettings.re.html
_coverage/src/haz3lcore/statics/CoCtx.re.html
_coverage/src/haz3lcore/statics/Constructor.re.html
_coverage/src/haz3lcore/statics/ConstructorMap.re.html
_coverage/src/haz3lcore/statics/Ctx.re.html
_coverage/src/haz3lcore/statics/Info.re.html
_coverage/src/haz3lcore/statics/Mode.re.html
_coverage/src/haz3lcore/statics/Self.re.html
_coverage/src/haz3lcore/statics/Statics.re.html
_coverage/src/haz3lcore/statics/Term.re.html
_coverage/src/haz3lcore/statics/TermBase.re.html
_coverage/src/haz3lcore/statics/Var.re.html
_coverage/src/haz3lcore/statics/uterm/UExp.re.html
_coverage/src/haz3lcore/statics/uterm/UPat.re.html
_coverage/src/haz3lcore/statics/uterm/UTyp.re.html
_coverage/src/haz3lcore/tiles/Id.re.html
_coverage/src/haz3lcore/tiles/Mold.re.html
_coverage/src/haz3lcore/tiles/Nib.re.html
_coverage/src/haz3lcore/tiles/Nibs.re.html
_coverage/src/haz3lcore/tiles/Secondary.re.html
_coverage/src/haz3lcore/tiles/Token.re.html
_coverage/src/util/Direction.re.html
_coverage/src/util/IntMap.re.html
_coverage/src/util/ListUtil.re.html
_coverage/src/util/OptUtil.re.html
_coverage/src/util/StringUtil.re.html
_coverage/src/util/TupleUtil.re.html
_coverage/src/util/Util.re.html
3 changes: 2 additions & 1 deletion dune-project
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,10 +25,11 @@
(menhir
(>= 2.0))
yojson
reason
(reason (>= 3.12.0))
ppx_yojson_conv_lib
ppx_yojson_conv
incr_dom
bisect_ppx
(omd (>= 2.0.0~alpha4))
ezjs_idb
virtual_dom
Expand Down
3 changes: 2 additions & 1 deletion hazel.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,10 +11,11 @@ depends: [
"ocaml" {>= "5.2.0"}
"menhir" {>= "2.0"}
"yojson"
"reason"
"reason" {>= "3.12.0"}
"ppx_yojson_conv_lib"
"ppx_yojson_conv"
"incr_dom"
"bisect_ppx"
"omd" {>= "2.0.0~alpha4"}
"ezjs_idb"
"virtual_dom"
Expand Down
20 changes: 10 additions & 10 deletions hazel.opam.locked
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,14 +27,14 @@ depends: [
"base_bigstring" {= "v0.16.0"}
"base_quickcheck" {= "v0.16.0"}
"bignum" {= "v0.16.0"}
"bigstringaf" {= "0.10.0"}
"bigstringaf" {= "0.9.1"}
"bin_prot" {= "v0.16.0"}
"bisect_ppx" {= "2.8.3"}
"camlp-streams" {= "5.0.1"}
"chrome-trace" {= "3.16.0"}
"cmdliner" {= "1.3.0"}
"conf-bash" {= "1"}
"conf-gmp" {= "4"}
"conf-pkg-config" {= "3"}
"core" {= "v0.16.2"}
"core_kernel" {= "v0.16.0"}
"cppo" {= "1.6.9"}
Expand Down Expand Up @@ -74,13 +74,13 @@ depends: [
"lsp" {= "1.19.0"}
"lwt" {= "5.7.0"}
"markup" {= "1.0.3"}
"menhir" {= "20240715"}
"menhirCST" {= "20240715"}
"menhirLib" {= "20240715"}
"menhirSdk" {= "20240715"}
"menhir" {= "20231231"}
"menhirCST" {= "20231231"}
"menhirLib" {= "20231231"}
"menhirSdk" {= "20231231"}
"merlin-extend" {= "0.6.1"}
"merlin-lib" {= "5.1-502"}
"num" {= "1.5-1"}
"num" {= "1.5"}
"ocaml" {= "5.2.0"}
"ocaml-base-compiler" {= "5.2.0"}
"ocaml-compiler-libs" {= "v0.17.0"}
Expand All @@ -90,7 +90,7 @@ depends: [
"ocaml-options-vanilla" {= "1"}
"ocaml-syntax-shims" {= "1.0.0"}
"ocaml-version" {= "3.6.7"}
"ocamlbuild" {= "0.15.0"}
"ocamlbuild" {= "0.14.3"}
"ocamlc-loc" {= "3.16.0"}
"ocamlfind" {= "1.9.6"}
"ocamlformat" {= "0.26.2"}
Expand Down Expand Up @@ -143,7 +143,7 @@ depends: [
"ppx_variants_conv" {= "v0.16.0"}
"ppx_yojson_conv" {= "v0.16.0"}
"ppx_yojson_conv_lib" {= "v0.16.0"}
"ppxlib" {= "0.33.0"}
"ppxlib" {= "0.32.1"}
"protocol_version_header" {= "v0.16.0"}
"ptime" {= "1.1.0" & with-test}
"ptmap" {= "2.0.5"}
Expand Down Expand Up @@ -179,7 +179,7 @@ depends: [
"virtual_dom" {= "v0.16.0"}
"xdg" {= "3.16.0"}
"yojson" {= "2.2.2"}
"zarith" {= "1.14"}
"zarith" {= "1.13"}
"zarith_stubs_js" {= "v0.16.1"}
]
build: [
Expand Down
2 changes: 2 additions & 0 deletions src/haz3lcore/dune
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@
(name haz3lcore)
(libraries util sexplib unionFind uuidm virtual_dom yojson core)
(js_of_ocaml)
(instrumentation
(backend bisect_ppx))
(preprocess
(pps
ppx_yojson_conv
Expand Down
4 changes: 4 additions & 0 deletions src/haz3lweb/dune
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,8 @@
(library
(name workerServer)
(modules WorkerServer)
(instrumentation
(backend bisect_ppx))
(libraries
incr_dom
virtual_dom.input_widgets
Expand All @@ -28,6 +30,8 @@

(library
(name haz3lweb)
(instrumentation
(backend bisect_ppx))
(modules
(:standard \ Main)
\
Expand Down
2 changes: 2 additions & 0 deletions src/pretty/dune
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@
(library
(name pretty)
(libraries util sexplib)
(instrumentation
(backend bisect_ppx))
(preprocess
(pps ppx_let ppx_sexp_conv)))

Expand Down
2 changes: 2 additions & 0 deletions src/util/dune
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,8 @@
(name util)
(libraries re base ptmap incr_dom virtual_dom yojson)
(js_of_ocaml)
(instrumentation
(backend bisect_ppx))
(preprocess
(pps
ppx_yojson_conv
Expand Down
4 changes: 2 additions & 2 deletions test/dune
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

(test
(name haz3ltest)
(libraries haz3lcore alcotest junit junit_alcotest)
(libraries haz3lcore alcotest junit junit_alcotest bisect_ppx.runtime)
(modes js)
(preprocess
(pps js_of_ocaml-ppx)))
(pps js_of_ocaml-ppx ppx_deriving.show)))
1 change: 1 addition & 0 deletions test/haz3ltest.re
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,3 +7,4 @@ let (suite, _) =
[("Elaboration", Test_Elaboration.elaboration_tests)],
);
Junit.to_file(Junit.make([suite]), "junit_tests.xml");
Bisect.Runtime.write_coverage_data();

0 comments on commit 833e586

Please sign in to comment.