Skip to content
Build

Support partially the semantic of bvnot on uninterpreted semantic val… #87

Sign in to view logs

Support partially the semantic of bvnot on uninterpreted semantic val…

Support partially the semantic of bvnot on uninterpreted semantic val… #87

Triggered via push July 21, 2023 14:38
@HalbarothHalbaroth
pushed 4b551ed
solve_bvnot
Status Failure
Total duration 15m 14s
Artifacts –

build.yml

on: push
Make all
8m 3s
Make all
Make package release
0s
Make package release
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build (ubuntu-latest, 4.10.1)
Process completed with exit code 31.
Make all
Process completed with exit code 2.
build (macos-latest, 4.10.1)
Process completed with exit code 31.