smtbmc: Improvements for --incremental and .yw fixes · YosysHQ/yosys@a52088b

Triggered via pull request May 7, 2024 18:02

jix

opened #4377

Status Success

Total duration 26m 11s

Artifacts 1

test-linux.yml

on: pull_request

Matrix: test-linux

Produced during runtime

Name	Size
compiled-yosys Expired	96.9 MB