Skip to content
Test Bitwuzla

Fixes boolean compare and rename one function #95

Sign in to view logs

Fixes boolean compare and rename one function

Fixes boolean compare and rename one function #95

Triggered via pull request June 21, 2024 11:57
@filipeomfilipeom
opened #156
small-patch
Status Success
Total duration 6m 23s
Artifacts –

test-bitwuzla.yml

on: pull_request
test-bitwuzla
6m 14s
test-bitwuzla
Fit to window
Zoom out
Zoom in