jcp19 opened this issue 5 years ago · 1 comments
The constructor of RaceDetector receives a Solver as an argument. However, this Solver is eventually casted to a Z3SolverParallel. In this case, I think it is better to make the dependency in the constructor.
RaceDetector
Fixed in the commit 84b160b