dph-diophantine-opt fails for the same reason as dph-diophantine-fast (#5065)
authorIan Lynagh <igloo@earth.li>
Fri, 22 Jul 2011 23:43:26 +0000 (00:43 +0100)
committerIan Lynagh <igloo@earth.li>
Fri, 22 Jul 2011 23:43:26 +0000 (00:43 +0100)
commitda1938c16f5a9ef5d7c79c9789361f403b6613b8
tree2f6df79b292dfa653399e5ca8ec10dac4d6ad21f
parentb4c786230e42cf4322a8cd70c9d3cc8b8cb9bfd4
dph-diophantine-opt fails for the same reason as dph-diophantine-fast (#5065)
testsuite/tests/dph/diophantine/dph-diophantine.T