Cherry-pick AddressDomain.filter from 224615f

Required to fix Promela extraction tests.
goblint · Sep 11, 2023 · 3e01426 · 3e01426
1 parent 7edb312
commit 3e01426
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/cdomains/addressDomain.ml b/src/cdomains/addressDomain.ml
@@ -440,4 +440,6 @@ struct
     let r = narrow x y in
     if M.tracing then M.traceu "ad" "-> %a\n" pretty r;
     r
+
+  let filter f ad = fold (fun addr ad -> if f addr then add addr ad else ad) ad (empty ())
 end