analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Clean up library function spawning in base analysis

Open sim642 opened this issue 1 year ago • 0 comments

Since #1029 is now done, it should be possible to clean up this TODO: https://github.com/goblint/analyzer/blob/3ad6b396681e0cb936eba09c4d7b6ebed882a0a2/src/analyses/base.ml#L2169-L2173

sim642 avatar Aug 05 '24 07:08 sim642