Issue with read_verilog in ABC: Assertion Failed and Parsing Error

[PerryLogic]

Description:
I encountered a problem while using the ABC tool to read a Verilog file. The tool fails to parse the file and results in an assertion error, causing the program to crash.

System Environment:

Operating System: Ubuntu 20.04
ABC Version: 1.01
Detailed Description:
When running the read_verilog command to read the Verilog file rtl.v, ABC reports a parsing error and crashes. The error message is as follows:

Steps to Reproduce:

Start ABC.
Run the command read_verilog rtl.v.
The error appears and the program crashes.
Additional Information:

Additional Information:

Verilog File Content: Please refer to the attached file rtl.v for the complete Verilog code.
Uploading project.zip…