Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers
MIT License
11 stars 6 forks source link

Child processes of Smack (z3) are not completely terminated #116

Closed chkl closed 6 years ago

chkl commented 6 years ago

Also happens with crab-llvm and becomes especially bad becaus the old kernel on the pfm machines does not support cgroup limits for swap (e.g. I limit the memory to 18G but it happily fills up more swap to a point where it just becomes super slow instead of crashing)

chkl commented 6 years ago

(more than) fixed! :-)