Project

General

Profile

Actions
Copy link

Bug #9436

closed

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

Added by Sergey Smolov over 5 years ago. Updated about 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Alexander Kamkin
Category:
MMU Plugin
Target version:
2.5
Start date:
01/17/2019
Due date:
% Done:

0%

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

Actions
Copy link

Also available in: Atom PDF