Lint

seal5/backends/report/properties/writer.py: fix undefined opcode #575

Sign in to view logs

GitHub Actions / Black succeeded Mar 5, 2025 in 0s

No issues

Black found no issues

View more details on GitHub Actions