Allow dash '-' in CoVeriTeam verdicts
Allow dash '-' in CoVeriTeam verdicts

To also match verdicts with a dash, for example `false(unreach-call)`.

As noted and suggested by @skanav

Co-authored-by: Sudeep Kanav <3e26deaa111b091de584c1c7aed79337100e75f4@users.noreply.github.com>
ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,dbeyer/benchexec