diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2025-06-26 15:27:23 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2025-08-08 15:14:51 +0000 |
| commit | 48ebae9cef6fdb1af495e692a0811634f308e447 (patch) | |
| tree | 6a81a8aca8f742dd4e61e454479b32264d0fffa5 /tests/coverage/branch/lazy-boolean.coverage | |
| parent | b172980d5c0de4a917e0f28ebd118f20889e6036 (diff) | |
| download | rust-48ebae9cef6fdb1af495e692a0811634f308e447.tar.gz rust-48ebae9cef6fdb1af495e692a0811634f308e447.zip | |
add NLL-like imprecision example
This test showcases the same imprecision as NLLs, unlike the datalog implementation, when using reachability as a liveness approximation.
Diffstat (limited to 'tests/coverage/branch/lazy-boolean.coverage')
0 files changed, 0 insertions, 0 deletions