goblint / analyzer / 3733

coverage: 61.565% (+0.01%) from 61.554%
3733

push

github

web-flow 
Merge pull request #1853 from goblint/yaml-witness-invariant-set-flow-insensitive

Move custom YAML witness `flow_insensitive_invariant` entries under `invariant_set`

1 of 29 new or added lines in 3 files covered. (3.45%)

21057 of 34203 relevant lines covered (61.56%)

403484.84 hits per line

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

77.04
/src/analyses/unassumeAnalysis.ml


Source Not Available