diff options
| author | Prashanth Mundkur | 2018-07-08 21:31:09 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-07-08 21:31:09 -0700 |
| commit | a6e9d1a5bc28073d0d0257cefae5e4b1d59bb71d (patch) | |
| tree | a3eee877360819e0807eaf620035cca67ffc767a /riscv | |
| parent | 8286993fe02b151dc1daa808b422f1ba97e05602 (diff) | |
Add a riscv coverage target using bisect-ppx.
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/Makefile | 14 | ||||
| -rw-r--r-- | riscv/_tags.bisect | 3 |
2 files changed, 16 insertions, 1 deletions
diff --git a/riscv/Makefile b/riscv/Makefile index 22f80338..621754b8 100644 --- a/riscv/Makefile +++ b/riscv/Makefile @@ -17,9 +17,21 @@ _sbuild/platform_main.native: _sbuild/riscv.ml _tags $(PLATFORM_OCAML_SRCS) Make cp _tags $(PLATFORM_OCAML_SRCS) _sbuild cd _sbuild && ocamlbuild -use-ocamlfind platform_main.native +_sbuild/coverage.native: _sbuild/riscv.ml _tags.bisect $(PLATFORM_OCAML_SRCS) Makefile + cp $(PLATFORM_OCAML_SRCS) _sbuild + cp _tags.bisect _sbuild/_tags + cd _sbuild && ocamlbuild -use-ocamlfind platform_main.native && cp -L platform_main.native coverage.native + platform: _sbuild/platform_main.native rm -f $@ && ln -s $^ $@ +coverage: _sbuild/coverage.native + rm -f platform && ln -s $^ platform # since the test scripts runs this file + rm -rf bisect*.out bisect coverage + ../test/riscv/run_tests.sh # this will generate bisect*.out files in this directory + mkdir bisect && mv bisect*.out bisect/ + mkdir coverage && bisect-ppx-report -html coverage/ -I _sbuild/ bisect/bisect*.out + tracecmp: tracecmp.ml ocamlfind ocamlopt -annot -linkpkg -package unix $^ -o $@ @@ -69,6 +81,6 @@ clean: Riscv_extras.thy -rm -f Riscv_duopod.thy Riscv_duopod_types.thy riscv_duopod.lem riscv_duopod_types.lem -rm -f riscvScript.sml riscv_typesScript.sml riscv_extrasScript.sml - -rm -f platform_main.native platform + -rm -f platform_main.native platform coverage.native -Holmake cleanAll ocamlbuild -clean diff --git a/riscv/_tags.bisect b/riscv/_tags.bisect new file mode 100644 index 00000000..d3b996f2 --- /dev/null +++ b/riscv/_tags.bisect @@ -0,0 +1,3 @@ +<**/*.ml>: bin_annot, annot +<*.m{l,li}>: package(lem), package(linksem), package(zarith), package(bisect_ppx) +<platform_main.native>: package(lem), package(linksem), package(zarith), package(bisect_ppx) |