Daniel Larraz 11f33df65d Export ParserEndOfFileException class (#11836) ...

Fixes #10414 and duplicate #11146.

The function `InteractiveShell::readAndExecCommands()` is designed to
catch `ParserEndOfFile` exceptions thrown by `Lexer::parseError`.
However, if the exception class is not exported and the cvc5 binary is
linked against a shared version of the cvc5 parser library, the
exception is interpreted as its exported superclass, `ParserException`.
This results in unintended behavior.

2025-04-23 14:45:42 +00:00

..

CMakeLists.txt

Export ParserEndOfFileException class (#11836)

2025-04-23 14:45:42 +00:00

interactive_shell_define_fun_rec_multiline.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

interactive_shell_parser_inc.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

interactive_shell.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00

issue_10258.py

Update copyright headers. (#11561)

2025-01-23 17:54:20 +00:00