Skip to content

Commit

Permalink
Do not print mhp results when empty
Browse files Browse the repository at this point in the history
  • Loading branch information
karoliineh committed Jan 3, 2024
1 parent 8ffcc4f commit d0a2a28
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion src/analyses/mHPAnalysis.ml
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,9 @@ struct
include MHP
let name () = "mhp"
let may_race = MHP.may_happen_in_parallel
let should_print _ = true
let should_print {tid; created; must_joined} =
not (ConcDomain.ThreadSet.is_empty created)
|| not (ConcDomain.ThreadSet.is_empty must_joined)
end

let access ctx _: MHP.t = MHP.current (Analyses.ask_of_ctx ctx)
Expand Down

0 comments on commit d0a2a28

Please sign in to comment.