We're updating the issue view to help you get more done. 

Stackoverflow when opening Generated4000.mch

Description

When loading the machine prob_examples/public_examples/B/PerformanceTests/Generated4000.mch I get
the following error. Loading with ProB Tcl/Tk works; possibly because Java is started with different Stack settings?

java.lang.StackOverflowError
at de.prob.model.classicalb.PredicateConjunctionSplitter.caseAConjunctPredicate(PredicateConjunctionSplitter.java:18)
at de.be4.classicalb.core.parser.node.AConjunctPredicate.apply(AConjunctPredicate.java:39)
at de.prob.model.classicalb.PredicateConjunctionSplitter.process(PredicateConjunctionSplitter.java:34)
at de.prob.model.classicalb.PredicateConjunctionSplitter.caseAConjunctPredicate(PredicateConjunctionSplitter.java:19)
at de.be4.classicalb.core.parser.node.AConjunctPredicate.apply(AConjunctPredicate.java:39)
at de.prob.model.classicalb.PredicateConjunctionSplitter.process(PredicateConjunctionSplitter.java:34)

Environment

None

Status

Assignee

Unassigned

Reporter

Michael Leuschel

Labels

None

Priority

Major