:recycle: Mention filename and diagnostic details for all parser

[wjrforcyber]

Suggestion originally from #127 (comment) .

[wjrforcyber]

Maybe a bit discussion here? The suggestion from Copilot looks good but mockturtle will print the diag message if you provide one. (We passed lorina::diagnostic_engine, so there's already messages).
For example, if aag has a header passing error, it will show [E] could not parse AIGER header aag 2 0 1 1 from libs/mockturtle/lib/lorina/lorina/diagnostics.inc:

(tests-3-12) ➜  aigverse git:(pla_reader) ✗ pytest -k 'test_read_ascii_aiger_into_aig'
================================== test session starts ===================================
platform darwin -- Python 3.12.10, pytest-8.3.5, pluggy-1.5.0
rootdir: /XX/XX/.../XX/aigverse
configfile: pyproject.toml
testpaths: bindings/aigverse/test
plugins: console-scripts-1.4.1, cov-6.1.1
collected 97 items / 96 deselected / 1 selected                                          

bindings/aigverse/test/inout/test_read_aiger.py F                                  [100%]

======================================== FAILURES ========================================
_____________________________ test_read_ascii_aiger_into_aig _____________________________

    def test_read_ascii_aiger_into_aig():
>       aig = read_ascii_aiger_into_aig(str(dir_path / "../resources/or.aag"))
E       RuntimeError: Error reading ASCII AIGER file


bindings/aigverse/test/inout/test_read_aiger.py:47: RuntimeError
---------------------------------- Captured stderr call ----------------------------------
[E] could not parse AIGER header `aag 2 0 1 1`

================================ short test summary info =================================
FAILED bindings/aigverse/test/inout/test_read_aiger.py::test_read_ascii_aiger_into_aig - RuntimeError: Error reading ASCII AIGER file
============================ 1 failed, 96 deselected in 0.04s ============================

Do we still need to provide one?

[marcelwa]

Good point. However, it would be more helpful for users to have that information inside the exception instead. Currently, it is merely printed, correct? Also, the file name is neither printed nor part of the exception string.

[wjrforcyber]

I modified a bit on mockturtle and aigverse, there are some message missing in mockturtle though, some future work is till needed, the following is just an example, so is this kind of runtime error message what we want?
If all good, I could start some initial PRs relating to this.

(tests-3-12) ➜  aigverse git:(error_handle) ✗ pytest -k 'test_read_ascii_aiger_into_aig' -vv
============================================================ test session starts =============================================================
platform darwin -- Python 3.12.10, pytest-8.3.5, pluggy-1.5.0 -- /Users/jingrenwang/Downloads/Github/aigverse/.nox/tests-3-12/bin/python3
cachedir: .pytest_cache
rootdir: /Users/jingrenwang/Downloads/Github/aigverse
configfile: pyproject.toml
testpaths: bindings/aigverse/test
plugins: console-scripts-1.4.1, cov-6.1.1
collected 96 items / 95 deselected / 1 selected                                                                                              

bindings/aigverse/test/inout/test_read_aiger.py::test_read_ascii_aiger_into_aig FAILED                                                 [100%]

================================================================== FAILURES ==================================================================
_______________________________________________________ test_read_ascii_aiger_into_aig _______________________________________________________

    def test_read_ascii_aiger_into_aig():
>       aig = read_ascii_aiger_into_aig(str(dir_path / "../resources/or.aag"))
E       RuntimeError: Error reading ASCII AIGER file /Users/jingrenwang/Downloads/Github/aigverse/bindings/aigverse/test/inout/../resources/or.aag:
E       could not parse AIGER header `aag 2 0 1 1`


bindings/aigverse/test/inout/test_read_aiger.py:47: RuntimeError
------------------------------------------------------------ Captured stderr call ------------------------------------------------------------
[E] could not parse AIGER header `aag 2 0 1 1`

========================================================== short test summary info ===========================================================
FAILED bindings/aigverse/test/inout/test_read_aiger.py::test_read_ascii_aiger_into_aig - RuntimeError: Error reading ASCII AIGER file /Users/jingrenwang/Downloads/Github/aigverse/bindings/aigverse/test/inout/../resources/or.aag:
could not parse AIGER header `aag 2 0 1 1`
====================================================== 1 failed, 95 deselected in 0.03s ======================================================

[marcelwa]

Thanks for investing time here. This looks really good! I'm looking forward to seeing what you've been cooking up 😄