Commit 46b012ba authored by Anoop Nadig's avatar Anoop Nadig
Browse files

Tag cvc4 with diffoscope_runs_forever

parent f9585511

packages.yml

+4 −0
Original line number Diff line number Diff line
@@ -3268,6 +3268,10 @@ cvc3: 
    - gcc_captures_build_path

  bugs:

    - 873975

cvc4:

  version: 1.6-2

  issues:

    - diffoscope_runs_forever

cvm:

  version: 0.96-1.2

  issues: