amit-davidson / Chronos

Chronos - A static race detector for the go language
MIT License
424 stars 11 forks source link

Add support for recursion #23

Closed amit-davidson closed 3 years ago

amit-davidson commented 3 years ago

Cleaned the code by reorganizing functions and changing their names. Also, added support for recursion in the program. If we reach the same function call more than once, we return to avoid an infinite loop.