Skip to content
CI

RQ-56-CITE (#911): an artifact cannot claim a test that does not exis… #1678

Sign in to view logs

RQ-56-CITE (#911): an artifact cannot claim a test that does not exis…

RQ-56-CITE (#911): an artifact cannot claim a test that does not exis… #1678

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Rivet Validation
14s
Test
4m 46s
Clippy
59s
Format
50s
Claim Check
11s
Kani Verification
1m 3s
multi-table call_indirect oracle (Thumb-2 + A32)
1m 1s
Z3 Verification
2m 10s
optimized-path spill-frame teardown oracle
1m 16s
optimized-path block/br_if lowering oracle
1m 7s
rv32 external-call relocation oracle (#871)
1m 15s
flight-seam relocatable-path execution oracle
1m 6s
rv32 br_table execution oracle (#882)
1m 12s
null-funcref-slot call_indirect oracle (Thumb-2 + A32)
1m 16s
rv32 const-address-fold execution oracle
1m 8s
Bazel Build & Proofs
1m 58s
const-CSE flag-on execution oracle
1m 17s
stack-layout=low overflow BusFault oracle
1m 7s
frame-slot DCE default+optout execution oracle
1m 14s
#418 arena-bind self-contained execution oracle
58s
VCR-RA-003 register-allocation validator (red-first + frozen)
1m 29s
repro sweep — linear memory / static data / native-pointer differentials
1m 14s
repro sweep — WCET bound soundness cross-checks (phases 2-5)
1m 14s
repro sweep — selector / control-flow / call / i64 differentials
1m 29s
repro sweep — RISC-V RV32 execution differentials
1m 28s
control-step relocatable-path execution oracle
58s
optimized-path register-exhaustion oracle
57s
VCR-RA-003 RV32 register-allocation validator (red-first + frozen)
1m 25s
self-contained call_indirect oracle (execution + residual declines)
1m 8s
VCR-SEL-005 cross-backend op-parity (universe-complete + red-first)
57s
call_indirect bounds-guard oracle (Thumb-2 + A32)
1m 13s
i64 stack-param + spill-pool-grow oracle
1m 14s
Version Pin Sweep
8s
synth-provenance-v1 reconciliation gate (#396)
1m 11s
proven-safe bounds-elision oracle (VCR-MEM-004,
2m 0s
fact-spec elision oracle (#494 phases 2 + 2b + 3+ + bounds)
1m 47s
optimized-path br_table oracle
1m 11s
aarch64 backend execution + decline oracle (#538 m2–m4)
1m 18s
cmp-select two-move execution oracle
1m 8s
VCR-VER-004 instrument independence (#242, v0.53's mutation re-run)
1m 59s
rv32 immediate-shift-fold execution oracle
1m 2s
optimized-path callee-saved preservation oracle
1m 7s
AAPCS stack-argument path oracle
1m 6s
trap-semantics oracle (#665 unreachable +
10m 23s
i64 rotl/rotr/div/rem expansion oracle
1m 2s
aarch64 native execution matrix (gale
1m 31s
rv32 memory.size / memory.grow execution oracle
1m 11s
rv32 label/return dead-code oracle (#882)
1m 21s
heterogeneous-table call_indirect oracle (Thumb-2 + A32)
1m 1s
Rust-test Line Coverage (unit + integration only)
4m 5s
1h 15m 25s