diff options
| author | Schuyler Eldridge | 2019-10-01 12:50:17 -0400 |
|---|---|---|
| committer | Schuyler Eldridge | 2019-11-05 22:42:40 -0500 |
| commit | a6d8799adb1ccad67dd33fe188f10852dd2d51ad (patch) | |
| tree | 1ac36698d50ee6bff1f53ba5b3cfc215921e56d9 /src/test | |
| parent | 92d88ffbe1663b4aa917c6c8b66a4fd697282410 (diff) | |
Don't use MuxLookup default for full mapping
This modifies MuxLookup to not use the 'default' mapping argument if a
"full" mapping is provided. A "full" mapping enumerates all possible
cases for a 'key' argument of a known size. This will check literal
values to ensure exhaustiveness holds.
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
Co-authored-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
Co-authored-by: Albert Magyar <albert.magyar@gmail.com>
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions