Skip to content
Test Z3

Towards model generation in bitwuzla #21

Sign in to view logs

Towards model generation in bitwuzla

Towards model generation in bitwuzla #21

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

test-z3.yml

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