Skip to content

read_aiger: Fix incorrect read of binary Aiger without outputs #62

read_aiger: Fix incorrect read of binary Aiger without outputs

read_aiger: Fix incorrect read of binary Aiger without outputs #62

Triggered via pull request April 29, 2024 11:35
Status Failure
Total duration 1m 58s
Artifacts

test-verific.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
test-verific
Process completed with exit code 2.