diff options
| author | Joshua Bakita <jbakita@cs.unc.edu> | 2021-03-08 17:32:12 -0500 |
|---|---|---|
| committer | Joshua Bakita <jbakita@cs.unc.edu> | 2021-03-08 17:32:12 -0500 |
| commit | efb0e77d08ac9ed8ed116d0ff0f30cf04f577beb (patch) | |
| tree | b62156bc42144cd3a8e3dc5ee9ecfe160e9713da /.gitmodules | |
| parent | 35c9600d29eff1a23791e713dacc60f7d650b75b (diff) | |
Case Study: Print liveness messages from Level-C tasks
Printing is too slow for many Level-A and -B tasks, so we limit it
to Level-C.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions