Skip to content
Linter

[Bitv] Add support for the SMT-LIB2's BV primitives #897

Sign in to view logs

[Bitv] Add support for the SMT-LIB2's BV primitives

[Bitv] Add support for the SMT-LIB2's BV primitives #897

Triggered via pull request July 10, 2023 08:28
@hra687261hra687261
synchronize #669
bv-primitives
Status Success
Total duration 7m 52s
Artifacts –

linter.yml

on: pull_request
Check style
6m 26s
Check style
Matrix: Check indentation
Fit to window
Zoom out
Zoom in