Skip to content
Test Z3

Equality defined using boolean theory #6

Sign in to view logs

Equality defined using boolean theory

Equality defined using boolean theory #6

Triggered via pull request June 11, 2024 12:55
@filipeomfilipeom
opened #142
fix-lexer
Status Success
Total duration 14m 1s
Artifacts –

test-z3.yml

on: pull_request
test-z3
13m 49s
test-z3
Fit to window
Zoom out
Zoom in