Skip to content
Build

fix unit test so it is agnostic to the Z3 version #1490

Sign in to view logs

fix unit test so it is agnostic to the Z3 version

fix unit test so it is agnostic to the Z3 version #1490

Triggered via push December 22, 2024 19:46
@nunoplopesnunoplopes
pushed c5ddf97
master
Status Success
Total duration 7m 17s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in