Skip to content
Rust

start using new solver in bmc example #602

Sign in to view logs

start using new solver in bmc example

start using new solver in bmc example #602

Triggered via push December 13, 2024 19:12
@ekiwiekiwi
pushed 6161b55
smt-solver
Status Failure
Total duration 3m 4s
Artifacts –

test.yml

on: push
Check Semantic Versioning of Patronus
13s
Check Semantic Versioning of Patronus
Check Formatting
3s
Check Formatting
Matrix: Test BMC Tool
Matrix: Test E-Graph Rewrite Condition Synthesizer
Matrix: Test Simulator Tool
Matrix: Unit Tests
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Check Semantic Versioning of Patronus
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1
Unit Tests (stable)
Process completed with exit code 101.
Test BMC Tool (stable, yices2)
Process completed with exit code 101.
Test BMC Tool (stable, bitwuzla)
The job was canceled because "stable_yices2" failed.
Test BMC Tool (stable, bitwuzla)
The operation was canceled.
Test E-Graph Rewrite Condition Synthesizer (stable)
Process completed with exit code 101.