Commit 9e5aa330 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Mark dph-diophantine-copy-opt as broken (#5817)

parent def5baf8
test ('dph-diophantine-copy-opt'
, [ alone
, expect_broken(5817)
, skip_if_fast
, reqlib('dph-lifted-copy')
, reqlib('dph-prim-par')
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment