diff options
| author | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-05-14 21:24:35 -0400 |
|---|---|---|
| committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2012-05-14 21:24:35 -0400 |
| commit | 480a2018363a3ef87e4b2cc93c83d007fef565e1 (patch) | |
| tree | 0da5b870bb37fbadc52499b48a6f5aaa18e9380c /include/litmus/ftdev.h | |
| parent | 4bb1dab9fe43ad707f8c1b28f3e8bd5d47f09994 (diff) | |
Commented out two rare bugs which the scheduler can recover from
Diffstat (limited to 'include/litmus/ftdev.h')
0 files changed, 0 insertions, 0 deletions