search

leonardt / fault

A Python package for testing hardware (part of the magma ecosystem)
BSD 3-Clause "New" or "Revised" License
41 stars 13 forks source link

SymbolicTester doesn't work with latest CoSA #129

Closed benreynwar closed 5 years ago

benreynwar commented 5 years ago

Currently running tests/test_symbolic_tester.py fails with

CoSA: error: ambiguous option: --solver could match --solver-name, --solver-options

The automated tests are skipping this test due to msat not be present on the test machine.

leonardt commented 5 years ago

Thanks for creating the issue, I will investigate and fix this, should be simple (assuming cosa just updated the name of the CLI option to --solver-name)