Skip to content
Rust

Optimized assertions of equalities #286

Sign in to view logs

Optimized assertions of equalities

Optimized assertions of equalities #286

Triggered via pull request December 30, 2024 17:35
@dewert99dewert99
synchronize #89
assert-eq-opt
Status Success
Total duration 8m 21s
Artifacts –

rust.yml

on: pull_request
cargo test
50s
cargo test
StarExec SMT tests
2m 19s
StarExec SMT tests
StarExec SMT tests with extra equalities and randomized activations
6m 46s
StarExec SMT tests with extra equalities and randomized activations
benchmarks
4m 51s
benchmarks
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
cargo test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
StarExec SMT tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
StarExec SMT tests with extra equalities and randomized activations
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
benchmarks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636