diff options
| author | Brian Campbell | 2018-01-15 14:57:52 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-01-15 14:57:52 +0000 |
| commit | fb8e8ce65d5ea13b92ec731820ed6c7a9a89f6a0 (patch) | |
| tree | a7f9f9454a24204ab2b2bf59253e47931463c994 /src/lem_interp/run_interp_model.ml | |
| parent | 83538020553691efe472984ee16ebd04eb252f82 (diff) | |
Support non-trivial literal patterns
Previously we only did top-level literal pattern to guard conversion, this
does it throughout any pattern
Diffstat (limited to 'src/lem_interp/run_interp_model.ml')
0 files changed, 0 insertions, 0 deletions