Bug #9436: ru.ispras.microtesk.mmu.translator.GeneralTestCase: java.lang.IllegalArgumentException - MicroTESK - Open-Source Projects

Actions

Copy link

Bug #9436

closed

ru.ispras.microtesk.mmu.translator.GeneralTestCase: java.lang.IllegalArgumentException

Added by Sergey Smolov almost 6 years ago. Updated almost 5 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Alexander Kamkin

Category:

MMU Plugin

Target version:

2.5

Start date:

01/17/2019

Due date:

% Done:

Estimated time:

Detected in build:

master

Platform:

Published in build:

2.5.1-beta-200127

Description

:test
Translating: ./src/test/mmu/general.mmu
Model name: general
Included: ./src/test/mmu/general.mmu
Included: address.mmu
java.lang.IllegalArgumentException
    at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:53)
    at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:38)
    at ru.ispras.fortress.util.InvariantChecks.checkNotNull(InvariantChecks.java:95)
    at ru.ispras.microtesk.mmu.translator.MmuTreeWalkerBase.assignContext(MmuTreeWalkerBase.java:199)
    at ru.ispras.microtesk.mmu.translator.MmuTranslator.start(MmuTranslator.java:121)
    at ru.ispras.microtesk.translator.Translator.translate(Translator.java:201)
    at ru.ispras.microtesk.translator.TranslatorTest.translate(TranslatorTest.java:79)
    at ru.ispras.microtesk.mmu.translator.GeneralTestCase.test(GeneralTestCase.java:26)

The exception is thrown, but the test passes