sosy-lab/sv-benchmarks

Repeated benchmarks

hernanponcedeleon opened this issue · 1 comments

hernanponcedeleon commented

There are several mutual exclusion algorithms (Dekker, Lamport, Peterson, etc) in two folders pthread-atomic and pthread-ext. I don't see any good reason to keep them both. Unless someone can give me a good reason why we have those benchmarks in two different folder, I'll create a PR to remove them from one of the folders.