diff options
| author | Thomas Bauereiss | 2019-01-28 21:21:16 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-01-28 21:21:16 +0000 |
| commit | b826df25ee3ec624483b8486af211e6d1e965589 (patch) | |
| tree | 28c9dc2627f21ba76ac9ddc2ca0c0b13e7028125 /src/bytecode_util.ml | |
| parent | e3266e1ce5463d57f3d35c89dc811348f76c9e41 (diff) | |
Lem: Be more careful about nexps occurring in the function signature
Don't ask Z3 to simplify them, as flow typing might lead to different
results in different if-branches, for example, leading to type errors in
Lem.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions