Skip to content

cec: Modifying algorithm for generating simulation vectors for SAT sweeping (SimGen) and adding new feature to specify the simulation vector of the PIs for SAT sweeping algorithm. #447

cec: Modifying algorithm for generating simulation vectors for SAT sweeping (SimGen) and adding new feature to specify the simulation vector of the PIs for SAT sweeping algorithm.

cec: Modifying algorithm for generating simulation vectors for SAT sweeping (SimGen) and adding new feature to specify the simulation vector of the PIs for SAT sweeping algorithm. #447

Triggered via pull request December 24, 2024 14:46
Status Success
Total duration 4m 30s
Artifacts 4

build-posix-cmake.yml

on: pull_request
Matrix: build-posix-cmake
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
build-posix-cmake (macos-latest, false)
readline 8.2.13 is already installed and up-to-date. To reinstall 8.2.13, run: brew reinstall readline
build-posix-cmake (macos-latest, true)
readline 8.2.13 is already installed and up-to-date. To reinstall 8.2.13, run: brew reinstall readline
build-posix-cmake (ubuntu-latest, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-posix-cmake (ubuntu-latest, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
package-cmake-macos-latest-false
13.8 MB
package-cmake-macos-latest-true
14.3 MB
package-cmake-ubuntu-latest-false
19.5 MB
package-cmake-ubuntu-latest-true
19.9 MB