search

YosysHQ / sby

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

note unexpected return statuses in junit #150

Closed nakengelhardt closed 2 years ago

nakengelhardt commented 2 years ago

Unexpected return statuses weren't being handled properly. This fixes #143 and puts a more explicit message in the JUnit testcase for the build execution describing the mismatch.

Also sets up a directory for tests that need a script and not just an .sby file.

jix commented 2 years ago

lgtm

I also added a slightly different way to add tests that need a script in the just merged --keep-going PR, but will look into doing some overall cleanup of the tests so things are a bit more unified.

nakengelhardt commented 2 years ago

If you're looking into cleaning up the tests, a great feature to have would also be the ability to disable tests that use solvers not installed (suprove specifically, since it doesn't compile on mac so I can never run the full ci test locally...)