Updated Verifuzz.py tool-info module (#636)
Updated Verifuzz.py tool-info module (#636)

Co-authored-by: Philipp Wendler <f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de>
sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,dbeyer/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,dbeyer/benchexec