Skip to content
Test Z3

Towards model generation in bitwuzla #20

Sign in to view logs

Towards model generation in bitwuzla

Towards model generation in bitwuzla #20

Triggered via pull request June 14, 2024 08:03
@filipeomfilipeom
synchronize #148
filipeom:bitwuzla-mappings2
Status Success
Total duration 13m 10s
Artifacts –

test-z3.yml

on: pull_request
test-z3
13m 0s
test-z3
Fit to window
Zoom out
Zoom in