Code

Improve the code coverage#182

Code

Open

clarus wants to merge 2 commits intomasterformal-land/coq-of-ocaml:masterfrom improve-coverageformal-land/coq-of-ocaml:improve-coverageCopy head branch name to clipboard

+49-5

Commits

Commits on Apr 29, 2021

• Add coverage for the constants

  clarus

  committed
  c6de35c

  Copy full SHA for c6de35c

Commits on Apr 30, 2021

• Catch the exceptions with a nicer error message

  clarus

  committed
  b364d58

  Copy full SHA for b364d58