Verilog Translator

java.util.EmptyStackException
    at java.util.Stack.peek(Stack.java:102)
    at ru.ispras.verilog.parser.util.TokenSourceStack.getLastParentToken(TokenSourceStack.java:70)
    at ru.ispras.verilog.parser.util.TokenSourceStack.nextToken(TokenSourceStack.java:138)
    at org.antlr.runtime.BufferedTokenStream.fetch(BufferedTokenStream.java:143)
    at org.antlr.runtime.BufferedTokenStream.sync(BufferedTokenStream.java:137)
    at org.antlr.runtime.CommonTokenStream.setup(CommonTokenStream.java:137)
    at org.antlr.runtime.CommonTokenStream.LT(CommonTokenStream.java:94)
    at ru.ispras.verilog.parser.grammar.VerilogParser.startRule(VerilogParser.java:435)
    at ru.ispras.verilog.parser.VerilogFrontend.startParser(VerilogFrontend.java:230)
    at ru.ispras.verilog.parser.VerilogFrontend.startParser(VerilogFrontend.java:240)
    at ru.ispras.verilog.parser.VerilogFrontend.start(VerilogFrontend.java:265)
    at ru.ispras.verilog.parser.VerilogFrontend.start(VerilogFrontend.java:275)
    at ru.ispras.verilog.parser.VerilogTranslator.start(VerilogTranslator.java:162)
    at ru.ispras.verilog.parser.sample.VerilogPrinter.main(VerilogPrinter.java:45)
    at ru.ispras.verilog.parser.VerilogBenchmarkTest.runTest(VerilogBenchmarkTest.java:64)
    at ru.ispras.verilog.parser.VerilogBenchmarkTest.runTest(VerilogBenchmarkTest.java:50)

To reproduce the bug, run any of the following test cases:

ru.ispras.verilog.parser.VerilogVisVerilog2SmvTestCase.runTest_Miim_vMiim
ru.ispras.verilog.parser.VerilogVisVerilog2SmvTestCase.runTest_BufAI_bufferAlloc
ru.ispras.verilog.parser.VerilogVisVerilog2SmvTestCase.runTest_BufAI_buf_bug