commerce-theory 0.1.2

Runtime Rust mirror of the CommerceTheory Lean package
Documentation 
1
2
3
4
5
6
7
8
9

.PHONY: coverage coverage-html

COVERAGE_MIN_LINES ?= 99

coverage:
	cargo llvm-cov --all-features --summary-only --fail-under-lines $(COVERAGE_MIN_LINES)

coverage-html:
	cargo llvm-cov --all-features --html --fail-under-lines $(COVERAGE_MIN_LINES)