diff options
| author | Tanya Amert <tamert@cs.unc.edu> | 2020-09-23 15:58:32 -0400 |
|---|---|---|
| committer | Tanya Amert <tamert@cs.unc.edu> | 2020-09-23 15:58:32 -0400 |
| commit | ea6838de3c4c0b2abd7ba8f058ba77a924a38a6f (patch) | |
| tree | 63f475d0b1efd1ca3ad0cd23ed8a05aecb012b9f /src | |
| parent | a430c7b5cacae4219a185decb863f6fb9e5cbcb9 (diff) | |
Ported global OMLP from BBB's dissertation work forward.
Diffstat (limited to 'src')
| -rw-r--r-- | src/litmus.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/litmus.c b/src/litmus.c index eb33c41..4d9e986 100644 --- a/src/litmus.c +++ b/src/litmus.c | |||
| @@ -27,6 +27,7 @@ static struct { | |||
| 27 | LP(DPCP), | 27 | LP(DPCP), |
| 28 | LP(PCP), | 28 | LP(PCP), |
| 29 | LP(DFLP), | 29 | LP(DFLP), |
| 30 | LP(OMLP), | ||
| 30 | }; | 31 | }; |
| 31 | 32 | ||
| 32 | #define NUM_PROTOS (sizeof(protocol)/sizeof(protocol[0])) | 33 | #define NUM_PROTOS (sizeof(protocol)/sizeof(protocol[0])) |