ocaml / dune / 23153

7%

Build Type

push

github

Committed by web-flow

Commit Message

pkg: simplify representation of solver variables (#9325)

This removes the distinctions between system solver variables and
constants and switches to using a single map to store all solver
variables. This also allows users to set arbitrary variables in the
workspace context.

Signed-off-by: Stephen Sherratt <stephen@sherra.tt>

Run Details

15 of 91 new or added lines in 11 files covered. (16.48%)

3 existing lines in 3 files now uncovered.

2820 of 39984 relevant lines covered (7.05%)

28489.06 hits per line