Commit c397d7be authored by benl's avatar benl
Browse files

dph-diophantine is fixed

parent 777dff2e
test ('dph-diophantine-copy-opt' test ('dph-diophantine-copy-opt'
, [ alone , [ alone
, expect_broken(5817)
, skip_if_fast , skip_if_fast
, reqlib('dph-lifted-copy') , reqlib('dph-lifted-copy')
, reqlib('dph-prim-par') , 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