|
From: Philippe W. <phi...@sk...> - 2015-03-28 11:24:09
|
On Thu, 2015-03-26 at 21:41 -0700, Donald Raikes wrote: > I was expecting something more that I could feed to the stp constraint solver. > This is all I get no matter what program I try ot test with catchconv > and valgrind. > > Any suggestions on how I can get this to work properly would be appreciated. Unlikely someone on this list will have a precise idea about what this catchconv tool is supposed to do and why it is not working. So, here are only some general advices: * read the code of catchconv * enable various valgrind traces (or catchconv tool, if it has some) do : valgrind --tool=catchconv --help-debug to see what traces you could activate * debug the tool : see the section 'Debugging Valgrind with GDB' in README_DEVELOPERS Philippe |