diff options
| author | Thomas Lively <tlively@google.com> | 2023-10-27 22:48:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-27 13:48:49 -0700 |
| commit | 57e0b2f8ed64d35d9ee2ca350d74ed66ed941c54 (patch) | |
| tree | b2ec2b85350ed6646eba10a8d2441c8eaaef1f61 /test/lit/passes/asyncify-foo,bar-nl.txt | |
| parent | 0aa46e4ee194dd63d9348a16a0b219e548839303 (diff) | |
| download | binaryen-57e0b2f8ed64d35d9ee2ca350d74ed66ed941c54.tar.gz binaryen-57e0b2f8ed64d35d9ee2ca350d74ed66ed941c54.tar.bz2 binaryen-57e0b2f8ed64d35d9ee2ca350d74ed66ed941c54.zip | |
[analysis] Improve lattice fuzzer (#6050)
Implement new `RandomLattice` and `RandomFullLattice` utilities that are
lattices randomly created from other lattices. By recursively using themselves
as the parameter lattices for lattices like `Inverted` and `Lift`, these random
lattices can become arbitrarily nested.
Decouple the checking of lattice properties from the checking of transfer
function properties by creating a new, standalone `checkLatticeProperties`
function.
Diffstat (limited to 'test/lit/passes/asyncify-foo,bar-nl.txt')
0 files changed, 0 insertions, 0 deletions