Replace int -> _Bool in goblint stubs arguments #1684
Open
sim642 wants to merge 12 commits intomasterfrom assert-ptr
+226-206
Commits
Commits on Feb 17, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
