Skip to content

cec: Adding new algorithm for generating simulation vectors for SAT sweeping (SimGen) #433

cec: Adding new algorithm for generating simulation vectors for SAT sweeping (SimGen)

cec: Adding new algorithm for generating simulation vectors for SAT sweeping (SimGen) #433

Re-run triggered December 21, 2024 21:09
Status Success
Total duration 5m 41s
Artifacts 1

build-windows.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
package-windows
4.67 MB