model: THREAD_FINISH triggers release sequence check
[c11tester.git] / test / userprog.c
2012-08-02 Brian NorrisMerge branch 'brian'
2012-08-02 Brian Norrisuserprog: move to 'test/' directory