2012-12-19 | Brian Norris | test: don't relay on thrd_current() returning an int | blob | commitdiff | raw |
2012-11-15 | Brian Demsky | Merge branch 'master' of /home/git/model-checker | blob | commitdiff | raw | diff to current |
2012-11-14 | Brian Norris | test: add AB/BA deadlock test | blob | commitdiff | raw | diff to current |
2012-11-07 | Brian Norris | test: add AB/BA deadlock test | blob | commitdiff | raw | diff to current |