Simplify witness invariants for bitfield domain #14871
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
suite_result-macos-latest
|
2.98 MB |
sha256:f1910bbc4a1d296d7679d428f201810a9e5c65b20555415e734fefd59572b1f5
|
|
|
suite_result-ubuntu-latest
|
3 MB |
sha256:09809ae633adaa5f95e1b5355de983fc5f533efeaf27bc169a61da7f2ea4bbca
|
|