Take a good critical look at concuerror_report.txt - Githubissues

aronisstav / Concuerror

OFFICIAL REPOSITORY MOVED:

https://github.com/parapluu/Concuerror

BSD 2-Clause "Simplified" License

1 stars 0 forks source link

Take a good critical look at concuerror_report.txt #48

Open aronisstav opened 6 years ago

aronisstav commented 6 years ago

... and update documentation.

Things to look:

terminology should be clear: trace, interleaving, etc.