Add simplification for 0 <=Int asInt(#findVariantIdxAux(...)) #4444
Triggered via pull request
February 4, 2026 05:12
jberthold
Status
Success
Total duration
1h 18m 47s
Artifacts
1
test.yml
on: pull_request
Code Quality Checks
58s
Integration Tests
1h 17m
Integration with stable-mir-json
1m 0s
Matrix: Nix Tests
Test Kmir Image
6m 24s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
runtimeverification~mir-semantics~PG7H71.dockerbuild
|
58.1 KB |
sha256:eea65c1d6234fcbeb956bf8ecfd1d78bcc581c6fe31295999b577cf2de25e0d5
|
|