Test Bitwuzla

Extend concrete evaluation #91

Sign in to view logs

Triggered via pull request June 21, 2024 08:46

filipeom

synchronize #101

extend_ops

Status Success

Total duration 6m 34s

Artifacts –

test-bitwuzla.yml

on: pull_request