Practical-Formal-Methods / adiff

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

Fix memory leak #29

Closed chkl closed 6 years ago

chkl commented 6 years ago

Most importantly: Only append to the current bytestring if the bytestring returned by hGetNonBlocking is not empty. Otherwise, on every iteration of the loop, a new thunk appending "" to the current bytestring gets wrapped around, resulting in a crazy number of thunks. (think: ((...) <> "") <> "")

Fixes #28