goblint / analyzer / 4007

Build # 4007

Build Type

Pull #1904

github

Committed by web-flow

Commit Message

Merge de2d51e7b into 379b3a197

Pull Request Pull Request #1904: Fix `SharedFunctions.AssertionModule.exp_is_constraint`

Run Details

22582 of 34519 relevant lines covered (65.42%)

404279.78 hits per line

Source File

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

Source Not Available