write_btor: only initialize array with const value when it is fully def #26
georgerennieextra-builds.yml
on: push
pre_job
6s
WASI build
20m 10s
Matrix: Build nix flake
Visual Studio build
10m 39s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
vcxsrc
|
3.53 MB |
|