diff options
| author | Son Ho | 2022-01-19 01:24:35 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-19 01:24:35 +0100 |
| commit | 2c93d514d6d62f8eccba47b1efefa2db1e56954e (patch) | |
| tree | a3addf7bad4824f9a6ad7d5acaee59c61b405f21 /src/Invariants.ml | |
| parent | c0f230dc6c331e9eb120900e8c31a03e1f5ab476 (diff) | |
Implement the sanity checks for consumption of symbolic values by
abstractions (as input or given back values)
Diffstat (limited to 'src/Invariants.ml')
0 files changed, 0 insertions, 0 deletions