envytools/valgrind

MMT Version of Demmt

Opened this issue · 0 comments

JohnStratoudakis commented

Hi,

Is there a version of the "demmt" tools that are meant to work with valgrind-mmt?

Thanks,

John