Heap Space Error with Parser on Windows for Test 810

Running test 810
Check large number of errors
testcase: probcli ../prob_examples/public_examples/B/Tickets/LargeMachTypeErr/sequenceur_values.mch -expcterr type_error -expcterr load_main_file -strict -strict -p STRICT_RAISE_WARNINGS TRUE
executed: probcli ../prob_examples/public_examples/B/Tickets/LargeMachTypeErr/sequenceur_values.mch -expcterr type_error -expcterr load_main_file -strict -strict -p STRICT_RAISE_WARNINGS TRUE -junit testresults
! An error occurred !
! source(parsercall)
! Abnormal termination of parser:
! Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
! An error occurred !
! source(parsercall)
! The Java B parser (probcliparser.jar) cannot be launched:
! c:/users/hudson/jenkins_workspace/workspace/prob_tests_windows64/prolog/lib/probcliparser.jar
! An error occurred !
! source(parsercall)
! Please check that Java and B Parser are available, e.g., using "probcli -check_java_version" command.
! An error occurred !
! source(parsercall)
! Additional information:
! at java.util.Arrays.copyOf(Arrays.java:3181) at java.util.ArrayList.grow(ArrayList.java:261)
at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235)
at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227)
at java.util.ArrayList.add(ArrayList.java:458)
at de.be4.classicalb.core.preparser.lexer.Lexer.filterWrap(Lexer.java:57)
at de.be4.classicalb.core.preparser.lexer.Lexer.peek(Lexer.java:74)
at de.be4.classicalb.core.preparser.parser.Parser.parse(Parser.java:257)
at de.be4.classicalb.core.parser.PreParser.parse(PreParser.java:67)
at de.be4.classicalb.core.parser.BParser.preParsing(BParser.java:424)
at de.be4.classicalb.core.parser.BParser.parse(BParser.java:337)
at de.be4.classicalb.core.parser.BParser.parseFile(BParser.java:158)
at de.be4.classicalb.core.parser.BParser.parseFile(BParser.java:141)
at de.be4.classicalb.core.parser.BParser.fullParsing(BParser.java:505)
at de.prob.cliparser.CliBParser.runPRepl(CliBParser.java:164)
at de.prob.cliparser.CliBParser.main(CliBParser.java:105)

! An error occurred !
! source(parse_error)
! Parser not available (Exception in thread "main" java.lang.OutOfMemoryError: Java heap space)
! none
! ### Loading Machine Failed
! *** Unexpected error occurred ***
! parsercall
! *** Abnormal termination of probcli !
! *** for_file(c:/users/hudson/jenkins_workspace/workspace/prob_tests_windows64/prob_examples/public_examples/b/tickets/largemachtypeerr/sequenceur_values.mch)

•  

  •  

    • Test 810 FAILED: halt(1)