Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update default value for deadlock_detector in simulation.py
I don't think it causes a problem here, but the best practice I've been told is to avoid having mutable default arguments to functions and methods.
- Loading branch information