Project

General

Profile

Bug #10289

ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinterTestCase.runTest: java.lang.OutOfMemoryError: Java heap space

Added by Sergey Smolov 6 months ago. Updated 6 months ago.

Status:
Verified
Priority:
Normal
Category:
Test Suite
Target version:
Start date:
04/19/2020
Due date:
% Done:

100%

Estimated time:
Detected in build:
git
Platform:
Published in build:

Description

The test suite crashes with the reported error on Jenkins (Retrascope_Weekly_Build item).
The related logs are shown below, but I am not sure that this appears only at the b18.vhd module.
It would be better to rewrite this test suite into a sequence of atomic test cases (as it is at Verilog Translator project).

2020.04.17 22:06:32.308. INFO: Retrascope is starting
2020.04.17 22:06:32.308. INFO: Running: vhdl-parser

2020.04.17 22:06:32.308. INFO: Options: {args=/srv/jenkins/workspace/Retrascope_Weekly_Build/build/resources/test/itc99/b18/b18.vhd --target smv --module-name b18 --engine hldd-property-smv-printer --smv-file b18.smv, vhd=[/srv/jenkins/workspace/Retrascope_Weekly_Build/build/resources/test/itc99/b18/b18.vhd]}

2020.04.17 22:06:37.454. INFO: Storing: cfg

2020.04.17 22:06:37.454. INFO: Running: cfg-gadd-transformer

2020.04.17 22:06:37.454. INFO: Options: {args=/srv/jenkins/workspace/Retrascope_Weekly_Build/build/resources/test/itc99/b18/b18.vhd --target smv --module-name b18 --engine hldd-property-smv-printer --smv-file b18.smv, cfg=<cfg>}

2020.04.17 22:06:37.928. INFO: Clock-like variables (CLV): CLOCK, RESET, SEL.
2020.04.17 22:06:37.928. WARNING: More than one CLV detected; chose the most frequent one: 'CLOCK'
2020.04.17 22:06:37.946. INFO: Storing: gadd

2020.04.17 22:06:37.947. INFO: Running: gadd-efsm-transformer

2020.04.17 22:06:37.947. INFO: Options: {args=/srv/jenkins/workspace/Retrascope_Weekly_Build/build/resources/test/itc99/b18/b18.vhd --target smv --module-name b18 --engine hldd-property-smv-printer --smv-file b18.smv, gadd=<gadd>}

2020.04.17 22:06:38.385. INFO: Execution path number: 2644
2020.04.17 22:06:38.385. INFO: ======================================
2020.04.17 22:06:38.385. INFO: Transforming the process 'B18 process (DO1,RD3,WR1,MIO1,DC1,AS12,DO2,RD4,WR2,MIO2,DC2,AS22,AS21,AS11,WR3,AD31,TAD2,WR4,AD41,TAD1,DO3,DO4,AD11,AD12,AD21,AD22,TAD3,TAD4,SEL,DIN,TD1,TD2)'.
2020.04.17 22:06:38.385. INFO: State-like variables: <none>.
2020.04.17 22:06:38.694. INFO: Model states number: 14.
2020.04.17 22:06:38.694. INFO: Model transitions number: 22.
2020.04.17 22:06:38.694. INFO: ======================================
2020.04.17 22:06:38.694. INFO: Transforming the process 'B18 process (CLOCK,RESET)'.
2020.04.17 22:12:06.757. INFO: State-like variables: [process_1.P4_D, process_1.P4_FF, process_1.P4_S, process_1.P4_STATE, process_1.P4_CF, process_1.P4_DF, process_1.P4_MF].
...
java.lang.OutOfMemoryError: Java heap space
    at ru.ispras.fortress.expression.printer.SmtKeyword.values(SmtKeyword.java:22)
    at ru.ispras.fortress.expression.printer.SmtKeyword.isKeyword(SmtKeyword.java:120)
    at ru.ispras.retrascope.util.SatSolver$1.onVariable(SatSolver.java:245)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitVariable(ExprTreeWalker.java:183)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:119)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
    at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
    at ru.ispras.fortress.expression.ExprTreeWalker.visit(ExprTreeWalker.java:93)
    at ru.ispras.retrascope.util.SatSolver.substituteKeywords(SatSolver.java:302)
    at ru.ispras.retrascope.util.SatSolver.solve(SatSolver.java:135)
    at ru.ispras.retrascope.util.SatSolver.isSat(SatSolver.java:323)
    at ru.ispras.retrascope.util.SolverUtils.isSat(SolverUtils.java:42)
    at ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer.getDstStates(GaddEfsmTransformer.java:899)
    at ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer.addTransitionsFromSrc(GaddEfsmTransformer.java:570)
    at ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer.createTransitionsFrom(GaddEfsmTransformer.java:550)
    at ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer.createTransitions(GaddEfsmTransformer.java:523)
    at ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer.createEfsm(GaddEfsmTransformer.java:483)
    at ru.ispras.retrascope.engine.gadd.transformer.efsm.GaddEfsmTransformer.getOutput(GaddEfsmTransformer.java:388)
    at ru.ispras.retrascope.engine.basis.ModelWalkerEngine.start(ModelWalkerEngine.java:84)
    at ru.ispras.retrascope.basis.Engine.start(Engine.java:332)

History

#1

Updated by Sergey Smolov 6 months ago

  • Target version set to 1.1
#2

Updated by Mikhail Lebedev 6 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

Test suite rewritten.

#3

Updated by Sergey Smolov 6 months ago

  • Status changed from Resolved to Verified
  • Category set to Test Suite

Also available in: Atom PDF