|
From: Donald R. <don...@ny...> - 2015-03-27 04:41:48
|
Hello, I have integrated catchconv with valgrind 3.11.svn, and have gotten everything to compile and link on a debian 7.8 32-bit virtual machine. When I run the command: valgrind --tool=catchconv --inline-path-queries=yes --log-file=aplay.txt aplay trumpet-12.wav All I get in the aplay.txt file is: ==13910== Catchconv, a type mismatch constraint generator ==13910== Copyright (C) 2006-7, Regents of the University of California, Berkeley. ==13910== Using Valgrind-3.11.0.SVN and LibVEX; rerun with -h for copyright info ==13910== Command: aplay trumpet-12.wav ==13910== Parent PID: 13900 ==13910== ==13910== XXX Stat counters: XXX Unhandled binop: 0 XXX Unhandled unop: 0 XXX CalcCondition: 0 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. Thanks in advance, Donald |