Memory leak! - Githubissues

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers

MIT License

11 stars 6 forks source link

Closed chkl closed 6 years ago

chkl commented 6 years ago

Was probably caused by a bad interference between unsafeCoerce and uniplate. Therefore solved by 3b4f82274391b97ff31aa3c18d33ffa15ee0b323.