don't use valgrind in secretsharing profiler by default
authorFlorian Dold <florian.dold@gmail.com>
Mon, 14 Apr 2014 23:49:17 +0000 (23:49 +0000)
committerFlorian Dold <florian.dold@gmail.com>
Mon, 14 Apr 2014 23:49:17 +0000 (23:49 +0000)
commitaee75330d485073f7c431b3a832df780fd2ab7a5
tree5be2d6e4fb21658f93bfd49860bdabd203ce4563
parent3401695f0825a3b64092a6983242a4f995a03ab3
don't use valgrind in secretsharing profiler by default
src/secretsharing/test_secretsharing.conf