vbpf / prevail / 19017013981

coverage: 86.935% (-0.5%) from 87.448%
19017013981

push

github

web-flow 
Optimizations and improved FiniteNumber handling (#937)

* optimizations: move semantics
* explicit, static join
* separate finite domain operations from splitdbm

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

369 of 445 new or added lines in 16 files covered. (82.92%)

27 existing lines in 8 files now uncovered.

9043 of 10402 relevant lines covered (86.94%)

3988875.61 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

86.6
/src/crab/array_domain.cpp


Source Not Available