YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
379 stars 74 forks source link

Replace the 'primes' test in junit_timeout_error.sby with a new test … #270

Closed aiju closed 3 months ago

aiju commented 3 months ago

…that solves a**3 + b**3 == c**3.

The old test tried to find two primes that are 7 apart. It is supposed to time out after 1 second but on newer hardware the test completes too quickly. This commit replaces it with a new test that tries to find a non-trivial solution to the diophantine equation a**3 + b**3 == c**3, which is a lot more difficult.