Skip to content
Linter

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

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 #899

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

linter.yml

on: pull_request
Check style
7m 52s
Check style
Matrix: Check indentation
Fit to window
Zoom out
Zoom in