Skip to content
Test Z3

Towards model generation in bitwuzla #19

Sign in to view logs

Towards model generation in bitwuzla

Towards model generation in bitwuzla #19

Triggered via pull request June 13, 2024 23:39
@filipeomfilipeom
opened #148
filipeom:bitwuzla-mappings2
Status Success
Total duration 13m 4s
Artifacts –

test-z3.yml

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