diff options
| author | Alasdair Armstrong | 2019-03-21 18:54:16 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-21 18:55:42 +0000 |
| commit | 13ad54f450a11a9c4eecdd782036e50ea2a41cd8 (patch) | |
| tree | 78adc8719e550dedb2870e6e9fcf108f206fe741 /src/jib/jib_optimize.mli | |
| parent | 52382d4e8fc4edab67bf01080087fb12c88fbed4 (diff) | |
Jib: Add types to Phi functions
Add a test case to ensure variable types in l-expressions remain the
same with flow-sensitive constraints.
Diffstat (limited to 'src/jib/jib_optimize.mli')
0 files changed, 0 insertions, 0 deletions