Roland Coeurjoly 50f487e08c Added $ff test

2024-08-21 11:02:31 +01:00

..

rtlil

Added $ff test

2024-08-21 11:02:31 +01:00

run-test.sh

´SMT success only if simulation is equivalent

2024-08-21 11:02:31 +01:00

vcd_harness_smt.py

Check that there are not other solutions other than the first given

2024-08-21 11:02:31 +01:00

vcd_harness.cc

Create std::mt19937 only once

2024-08-21 11:02:31 +01:00