run functions arent being passed restart as a bool

[mmelo-yottaa]

thanks for sharing this code, interesting!

I think DifferentialTesting/Implementations/main.py line 112-113 wants to pass the value False and not the string "False" to the run function... seems despite your annotations mypy flag find this issue because of the indirect call through globals dict...

[SivaKesava1]

Thanks for filing the issue. I just checked the main.py with mypy as python3 -m mypy main.py and ignored the "did not find module error" for all the imports, and mypy assumed it as Any type. Therefore, this one slipped.