No description, website, or topics provided.
C Other
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
example
src
Makefile
README.md

README.md

deadlivelock

Automatic detect deadlocks, livelocks and deadlivelocks. Utilize Maximum-Satisfiability solver to identify fix to the program, i.e., change lock to trylock (or change to trylock to lock).