Test Bitwuzla

Add Expr.compare function (Closes #161) #332

Sign in to view logs

Triggered via pull request October 11, 2024 15:06

filipeom

opened #231

add-compare

Status Success

Total duration 5m 31s

Artifacts –

test-bitwuzla.yml

on: pull_request