ci/flow-mpsat-g/c6.result.ref
Processing STG:
- importing: OK
- verification: OK
- CSC check: OK
Complex gate:
- synthesis: OK
- verification: OK
Generalised C-element:
- synthesis: OK
- verification: OK
Standard C-element:
- synthesis: OK
- verification: OK
Technology mapping:
- synthesis: OK
- verification: OK