Skip to content
TestSolver

Bitwuzla-MachBV Submission for SMT-COMP 2025 #225

Sign in to view logs

Bitwuzla-MachBV Submission for SMT-COMP 2025

Bitwuzla-MachBV Submission for SMT-COMP 2025 #225

Triggered via pull request June 12, 2025 14:50
@AndevikingAndeviking
synchronize #171
Andeviking:patch-1
Status Success
Total duration 3m 52s
Artifacts 1

test-solver.yml

on: pull_request
generate-test-script
53s
generate-test-script
run-test-script
39s
run-test-script
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
generated_script Expired
18.4 MB
sha256:4565793f864f81c92619ac279422b42a7e4b6809c3a0890fe3ef61ede4bf9eba