Skip to content
Build and run tests

write_btor: Include $assert and $assume cells in -ywmap output #115

Sign in to view logs

write_btor: Include $assert and $assume cells in -ywmap output

write_btor: Include $assert and $assume cells in -ywmap output #115

Triggered via push May 23, 2024 15:42
@KrystalDelusionKrystalDelusion
pushed 884f40d
ywb_asserts
Status Success
Total duration 22m 21s
Artifacts 2

test-build.yml

on: push
pre_docs_job
5s
pre_docs_job
pre_job
5s
pre_job
Matrix: Reusable build
Matrix: Run docs tests
Matrix: Run tests
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Reusable build (macos-latest)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config
Reusable build (macos-latest)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!
Run tests (macos-latest)
pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config
Run tests (macos-latest)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!

Artifacts

Produced during runtime
Name Size
build-macos-latest Expired
13.9 MB
build-ubuntu-latest Expired
79.1 MB