Open favu100 opened 2 years ago
Currently, we only have tests for simulation. We should also implement some integration tests for model checking
Currently, we only have tests for simulation. We should also implement some integration tests for model checking