FailedConsole Output

Skipping 1,459 KB.. Full Log
OL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1@tmp/withMaven8932b67f/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1@tmp/withMaven8932b67f"
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:93: warning: no @param for defs
[WARNING] protected void cyclicDependencyCheck(List<PDefinition> defs)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:360: warning: no @param for type
[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:360: warning: no @param for fromModule
[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeChecker.java:360: warning: no @return
[WARNING] public static boolean isOpaque(SInvariantType type, String fromModule)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:54: warning: no description for @param
[WARNING] * @param classes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:66: warning: no description for @param
[WARNING] * @param classes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/ClassTypeChecker.java:67: warning: no description for @param
[WARNING] * @param factory
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:73: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:85: warning: no @param for scope
[WARNING] protected void dupHideCheck(List<PDefinition> list, NameScope scope)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:192: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:193: warning: no description for @param
[WARNING] * @param scope
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:194: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:201: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:202: warning: no description for @param
[WARNING] * @param fromModule
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:203: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:210: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:217: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:224: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:234: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:241: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:248: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:249: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:262: warning: no description for @param
[WARNING] * @param name
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:278: warning: no description for @param
[WARNING] * @param downTo
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:60: warning: no description for @param
[WARNING] * @param af
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/Environment.java:61: warning: no description for @param
[WARNING] * @param outer
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/ModuleTypeChecker.java:64: warning: no description for @param
[WARNING] * @param modules
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:76: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:77: warning: no description for @param
[WARNING] * @param key
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:78: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:97: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:98: warning: no description for @param
[WARNING] * @param key
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:99: warning: no description for @param
[WARNING] * @param value
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:118: warning: no description for @param
[WARNING] * @param <T>
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeCheckInfo.java:119: warning: no description for @param
[WARNING] * @param key
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:151: warning: no description for @param
[WARNING] * @param to
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:152: warning: no description for @param
[WARNING] * @param from
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:172: warning: no description for @param
[WARNING] * @param to
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:173: warning: no description for @param
[WARNING] * @param from
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:588: warning: no description for @param
[WARNING] * @param sub
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:589: warning: no description for @param
[WARNING] * @param sup
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:990: warning: no description for @param
[WARNING] * @param type
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:991: warning: no description for @param
[WARNING] * @param env
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:992: warning: no description for @param
[WARNING] * @param newTypes
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:993: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1078: warning: no description for @param
[WARNING] * @param a
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1079: warning: no description for @param
[WARNING] * @param b
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1080: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1185: warning: no @param for t1
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1185: warning: no @param for t2
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/TypeComparator.java:1185: warning: no @return
[WARNING] public synchronized List<PType> narrowest(List<PType> t1, List<PType> t2)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:396: warning: no description for @param
[WARNING] * @param d
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:397: warning: no description for @param
[WARNING] * @param defs
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/definition/PDefinitionAssistantTC.java:398: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/module/AModuleModulesAssistantTC.java:52: warning: no description for @param
[WARNING] * @param m
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:56: warning: no description for @param
[WARNING] * @param rp
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:57: warning: no description for @param
[WARNING] * @param ptype
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:58: warning: no description for @param
[WARNING] * @param scope
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/pattern/PPatternAssistantTC.java:59: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:71: warning: no @param for def
[WARNING] public boolean isConstructor(PDefinition def)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:71: warning: no @return
[WARNING] public boolean isConstructor(PDefinition def)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:95: warning: no @param for env
[WARNING] public boolean inConstructor(Environment env)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/assistant/type/AClassTypeAssistantTC.java:95: warning: no @return
[WARNING] public boolean inConstructor(Environment env)
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:192: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:193: warning: no description for @param
[WARNING] * @param localDefs
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:194: warning: no description for @param
[WARNING] * @param body
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:195: warning: no description for @param
[WARNING] * @param question
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:196: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:197: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:199: warning: no @param for statement
[WARNING] protected PType typeCheckLet(INode node, LinkedList<PDefinition> localDefs,
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:255: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:256: warning: no description for @param
[WARNING] * @param nodeLocation
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:257: warning: no description for @param
[WARNING] * @param bind
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:258: warning: no description for @param
[WARNING] * @param suchThat
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:259: warning: no description for @param
[WARNING] * @param body
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:260: warning: no description for @param
[WARNING] * @param question
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:262: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:264: warning: no @param for statement
[WARNING] protected Map.Entry<PType, AMultiBindListDefinition> typecheckLetBeSt(
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:336: warning: no @param for annotations
[WARNING] protected void beforeAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:336: warning: no @param for node
[WARNING] protected void beforeAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:336: warning: no @param for question
[WARNING] protected void beforeAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:336: warning: no @throws for org.overture.ast.analysis.AnalysisException
[WARNING] protected void beforeAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:382: warning: no @param for annotations
[WARNING] protected void afterAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:382: warning: no @param for node
[WARNING] protected void afterAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:382: warning: no @param for question
[WARNING] protected void afterAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/AbstractTypeCheckVisitor.java:382: warning: no @throws for org.overture.ast.analysis.AnalysisException
[WARNING] protected void afterAnnotations(List<PAnnotation> annotations, INode node, TypeCheckInfo question) throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3002: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3024: warning: no description for @throws
[WARNING] * @throws AnalysisException
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3745: warning: no description for @param
[WARNING] * @param node
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3746: warning: no description for @param
[WARNING] * @param measure
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3747: warning: no description for @param
[WARNING] * @param close
[WARNING] ^
[WARNING] /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerExpVisitor.java:3748: warning: no description for @return
[WARNING] * @return
[WARNING] ^
[INFO] Building jar: /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/target/typechecker-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ typechecker ---
[INFO] Disabled
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ typechecker ---
[INFO] Installing /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/target/typechecker-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/pom.xml to /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/target/typechecker-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] -------------------< org.overturetool.core:testing >--------------------
[INFO] Building Overture Testing 3.0.1-SNAPSHOT                          [8/84]
[INFO] --------------------------------[ pom ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ testing ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ testing ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ testing ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ testing ---
[INFO] Not executing Javadoc as the project is not a Java classpath-capable package
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ testing ---
[INFO] Disabled
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ testing ---
[INFO] Installing /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/pom.xml to /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/overturetool/core/testing/3.0.1-SNAPSHOT/testing-3.0.1-SNAPSHOT.pom
[INFO] 
[INFO] --------------< org.overturetool.core.testing:framework >---------------
[INFO] Building Overture Testing Framework 3.0.1-SNAPSHOT                [9/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ framework ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ framework ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ framework ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ framework ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ framework ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ framework ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ framework ---
[INFO] No tests to run.
[INFO] 
[INFO] --- maven-jar-plugin:2.6:jar (default-jar) @ framework ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:report (jacoco-site) @ framework ---
[INFO] Skipping JaCoCo execution due to missing execution data file:/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/target/coverage-reports/jacoco-unit.exec
[INFO] 
[INFO] --- maven-javadoc-plugin:2.10.3:jar (attach-javadocs) @ framework ---
[INFO] 
7 errors
36 warnings
[ERROR] MavenReportException: Error while generating Javadoc: 
Exit code: 1 - Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1@tmp/withMaven8932b67f/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1@tmp/withMaven8932b67f" 
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:65: warning: no description for @throws
     * @throws IOException
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:66: warning: no description for @throws
     * @throws FileNotFoundException
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:102: error: bad use of '>'
     * <code>testing.update.[maven-module].[test-class].[testcase/input-file]>. <br>
                                                                             ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:102: error: element not closed: code
     * <code>testing.update.[maven-module].[test-class].[testcase/input-file]>. <br>
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:114: error: self-closing element not allowed
     * <p/>>
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:114: error: bad use of '>'
     * <p/>>
           ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:118: warning: no @return
    protected String getTestResultUpdateMessage() {
                     ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:132: warning: no description for @throws
     * @throws ParserException
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:133: warning: no description for @throws
     * @throws LexException
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:134: warning: no description for @throws
     * @throws IOException
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:153: error: tag not allowed here: <li>
     * <li>Test Input Source path</li>
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:154: error: tag not allowed here: <li>
     * <li>Result File path</li>
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:155: error: tag not allowed here: <li>
     * <li>Test Override property</li>
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamFineGrainTest.java:75: warning: no description for @throws
	 * @throws IOException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamFineGrainTest.java:76: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamFineGrainTest.java:77: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamExternalsTest.java:53: warning: no description for @param
	 * @param nameParameter
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamExternalsTest.java:54: warning: no description for @param
	 * @param testParameter
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamExternalsTest.java:55: warning: no description for @param
	 * @param resultParameter
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamNoResultFileTest.java:79: warning: no description for @throws
	 * @throws IOException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamNoResultFileTest.java:80: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamNoResultFileTest.java:81: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamNoResultFileTest.java:44: warning: no description for @param
 * @param <R>
   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamStandardTest.java:89: warning: no description for @throws
	 * @throws IOException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamStandardTest.java:90: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamStandardTest.java:91: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamStandardTest.java:49: warning: no description for @param
 * @param <R> 
   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:80: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:81: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:128: warning: no @throws for org.overture.parser.syntax.ParserException
	public static PExp parseExpressionString(String expression)
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:128: warning: no @throws for org.overture.parser.lex.LexException
	public static PExp parseExpressionString(String expression)
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:143: warning: no @throws for org.overture.parser.syntax.ParserException
	public static PExp parseTcExpressionString(String expression)
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:143: warning: no @throws for org.overture.parser.lex.LexException
	public static PExp parseTcExpressionString(String expression)
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:158: warning: no @throws for org.overture.parser.syntax.ParserException
	public static PExp parseTcExpressionString(String expression,
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:158: warning: no @throws for org.overture.parser.lex.LexException
	public static PExp parseTcExpressionString(String expression,
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:180: warning: no @throws for org.overture.parser.syntax.ParserException
	public static List<INode> typedAstFromString(String model, Dialect dialect)
	                          ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:180: warning: no @throws for org.overture.parser.lex.LexException
	public static List<INode> typedAstFromString(String model, Dialect dialect)
	                          ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:214: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:215: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:231: warning: no description for @throws
	 * @throws IOException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:232: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:233: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/PathsProvider.java:109: warning: no description for @return
	 * @return
	   ^

Command line was: /usr/lib/jvm/java-8-oracle/jre/../bin/javadoc @options @packages

Refer to the generated Javadoc files in '/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/target/apidocs' dir.

org.apache.maven.reporting.MavenReportException: 
Exit code: 1 - Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1@tmp/withMaven8932b67f/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1@tmp/withMaven8932b67f" 
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:65: warning: no description for @throws
     * @throws IOException
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:66: warning: no description for @throws
     * @throws FileNotFoundException
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:102: error: bad use of '>'
     * <code>testing.update.[maven-module].[test-class].[testcase/input-file]>. <br>
                                                                             ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:102: error: element not closed: code
     * <code>testing.update.[maven-module].[test-class].[testcase/input-file]>. <br>
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:114: error: self-closing element not allowed
     * <p/>>
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:114: error: bad use of '>'
     * <p/>>
           ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:118: warning: no @return
    protected String getTestResultUpdateMessage() {
                     ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:132: warning: no description for @throws
     * @throws ParserException
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:133: warning: no description for @throws
     * @throws LexException
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:134: warning: no description for @throws
     * @throws IOException
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:153: error: tag not allowed here: <li>
     * <li>Test Input Source path</li>
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:154: error: tag not allowed here: <li>
     * <li>Result File path</li>
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/AbsResultTest.java:155: error: tag not allowed here: <li>
     * <li>Test Override property</li>
       ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamFineGrainTest.java:75: warning: no description for @throws
	 * @throws IOException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamFineGrainTest.java:76: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamFineGrainTest.java:77: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamExternalsTest.java:53: warning: no description for @param
	 * @param nameParameter
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamExternalsTest.java:54: warning: no description for @param
	 * @param testParameter
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamExternalsTest.java:55: warning: no description for @param
	 * @param resultParameter
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamNoResultFileTest.java:79: warning: no description for @throws
	 * @throws IOException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamNoResultFileTest.java:80: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamNoResultFileTest.java:81: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamNoResultFileTest.java:44: warning: no description for @param
 * @param <R>
   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamStandardTest.java:89: warning: no description for @throws
	 * @throws IOException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamStandardTest.java:90: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamStandardTest.java:91: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParamStandardTest.java:49: warning: no description for @param
 * @param <R> 
   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:80: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:81: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:128: warning: no @throws for org.overture.parser.syntax.ParserException
	public static PExp parseExpressionString(String expression)
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:128: warning: no @throws for org.overture.parser.lex.LexException
	public static PExp parseExpressionString(String expression)
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:143: warning: no @throws for org.overture.parser.syntax.ParserException
	public static PExp parseTcExpressionString(String expression)
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:143: warning: no @throws for org.overture.parser.lex.LexException
	public static PExp parseTcExpressionString(String expression)
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:158: warning: no @throws for org.overture.parser.syntax.ParserException
	public static PExp parseTcExpressionString(String expression,
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:158: warning: no @throws for org.overture.parser.lex.LexException
	public static PExp parseTcExpressionString(String expression,
	                   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:180: warning: no @throws for org.overture.parser.syntax.ParserException
	public static List<INode> typedAstFromString(String model, Dialect dialect)
	                          ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:180: warning: no @throws for org.overture.parser.lex.LexException
	public static List<INode> typedAstFromString(String model, Dialect dialect)
	                          ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:214: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:215: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:231: warning: no description for @throws
	 * @throws IOException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:232: warning: no description for @throws
	 * @throws ParserException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/ParseTcFacade.java:233: warning: no description for @throws
	 * @throws LexException
	   ^
/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java/org/overture/core/testing/PathsProvider.java:109: warning: no description for @return
	 * @return
	   ^

Command line was: /usr/lib/jvm/java-8-oracle/jre/../bin/javadoc @options @packages

Refer to the generated Javadoc files in '/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/target/apidocs' dir.

    at org.apache.maven.plugin.javadoc.AbstractJavadocMojo.executeJavadocCommandLine (AbstractJavadocMojo.java:5163)
    at org.apache.maven.plugin.javadoc.AbstractJavadocMojo.executeReport (AbstractJavadocMojo.java:2075)
    at org.apache.maven.plugin.javadoc.JavadocJar.execute (JavadocJar.java:188)
    at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo (DefaultBuildPluginManager.java:137)
    at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:210)
    at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:156)
    at org.apache.maven.lifecycle.internal.MojoExecutor.execute (MojoExecutor.java:148)
    at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject (LifecycleModuleBuilder.java:117)
    at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject (LifecycleModuleBuilder.java:81)
    at org.apache.maven.lifecycle.internal.builder.singlethreaded.SingleThreadedBuilder.build (SingleThreadedBuilder.java:56)
    at org.apache.maven.lifecycle.internal.LifecycleStarter.execute (LifecycleStarter.java:128)
    at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:305)
    at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:192)
    at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:105)
    at org.apache.maven.cli.MavenCli.execute (MavenCli.java:956)
    at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:288)
    at org.apache.maven.cli.MavenCli.main (MavenCli.java:192)
    at sun.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
    at java.lang.reflect.Method.invoke (Method.java:498)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:289)
    at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:229)
    at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:415)
    at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:356)
[INFO] Building jar: /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/target/framework-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] --- maven-jarsigner-plugin:1.2:sign (sign) @ framework ---
[INFO] Disabled
[INFO] 
[INFO] --- maven-install-plugin:2.5.2:install (default-install) @ framework ---
[INFO] Installing /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/target/framework-3.0.1-SNAPSHOT.jar to /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/overturetool/core/testing/framework/3.0.1-SNAPSHOT/framework-3.0.1-SNAPSHOT.jar
[INFO] Installing /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/pom.xml to /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/overturetool/core/testing/framework/3.0.1-SNAPSHOT/framework-3.0.1-SNAPSHOT.pom
[INFO] Installing /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/target/framework-3.0.1-SNAPSHOT-javadoc.jar to /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/overturetool/core/testing/framework/3.0.1-SNAPSHOT/framework-3.0.1-SNAPSHOT-javadoc.jar
[INFO] 
[INFO] ---------------< org.overturetool.core.testing:samples >----------------
[INFO] Building Overture Sample Tests 3.0.1-SNAPSHOT                    [10/84]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-enforcer-plugin:1.0:enforce (enforce-maven) @ samples ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.7.6.201602180812:prepare-agent (jacoco-initialize) @ samples ---
[INFO] argLine set to -javaagent:/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/samples/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*
[INFO] 
[INFO] --- maven-resources-plugin:2.7:resources (default-resources) @ samples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ samples ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-resources-plugin:2.7:testResources (default-testResources) @ samples ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 3215 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ samples ---
[INFO] Nothing to compile - all classes are up to date
[INFO] 
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ samples ---

-------------------------------------------------------
 T E S T S
-------------------------------------------------------
Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1@tmp/withMaven8932b67f/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1@tmp/withMaven8932b67f" 
Running org.overture.core.testing.samples.SampleStandardTest
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.615 sec - in org.overture.core.testing.samples.SampleStandardTest
Running org.overture.core.testing.samples.SampleExternalsTest
Resuming build at Tue Oct 13 13:49:02 CEST 2020 after Jenkins restart
Waiting to resume part of overturetool » dependabot/maven/core/isapog/junit-junit-4.13.1 #1: Finished waiting
Waiting to resume part of overturetool » dependabot/maven/core/isapog/junit-junit-4.13.1 #1: Waiting for next available executor on ‘Jenkins’
Waiting to resume part of overturetool » dependabot/maven/core/isapog/junit-junit-4.13.1 #1: Waiting for next available executor on ‘Jenkins’
Waiting to resume part of overturetool » dependabot/maven/core/isapog/junit-junit-4.13.1 #1: Waiting for next available executor on ‘Jenkins’
Waiting to resume part of overturetool » dependabot/maven/core/isapog/junit-junit-4.13.1 #1: Waiting for next available executor on ‘Jenkins’
Waiting to resume part of overturetool » dependabot/maven/core/isapog/junit-junit-4.13.1 #1: Waiting for next available executor on ‘Jenkins’
Waiting to resume part of overturetool » dependabot/maven/core/isapog/junit-junit-4.13.1 #1: Waiting for next available executor on ‘Jenkins’
Waiting to resume part of overturetool » dependabot/maven/core/isapog/junit-junit-4.13.1 #1: Waiting for next available executor on ‘Jenkins’
Waiting to resume part of overturetool » dependabot/maven/core/isapog/junit-junit-4.13.1 #1: Waiting for next available executor on ‘Jenkins’
Ready to run at Tue Oct 13 13:50:13 CEST 2020

Results :

Tests run: 2, Failures: 0, Errors: 0, Skipped: 0

[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for The Overture Tool Platform root 3.0.1-SNAPSHOT:
[INFO] 
[INFO] The Overture Tool Platform root .................... SUCCESS [  1.379 s]
[INFO] Overture External Resources ........................ SUCCESS [  4.264 s]
[INFO] Core Tools ......................................... SUCCESS [  0.910 s]
[INFO] The Overture Abstract Syntax Tree .................. SUCCESS [  3.682 s]
[INFO] Test Framework for Overture ........................ SUCCESS [  2.650 s]
[INFO] The VDM parser ..................................... SUCCESS [ 12.162 s]
[INFO] The VDM Type Checker ............................... SUCCESS [ 50.022 s]
[INFO] Overture Testing ................................... SUCCESS [  0.031 s]
[INFO] Overture Testing Framework ......................... SUCCESS [  2.205 s]
[INFO] Overture Sample Tests .............................. FAILURE [ 56.917 s]
[INFO] VDM Pretty Printing ................................ SKIPPED
[INFO] The VDM Pretty Printer ............................. SKIPPED
[INFO] The Proof Obligation Generator ..................... SKIPPED
[INFO] The VDM Interpreter ................................ SKIPPED
[INFO] Combinatorial Testing .............................. SKIPPED
[INFO] Combinatorial Testing Utilities .................... SKIPPED
[INFO] Combinatorial Testing Runtime ...................... SKIPPED
[INFO] New Pretty Printer ................................. SKIPPED
[INFO] Overture Core Command Line Tool .................... SKIPPED
[INFO] Code Generation .................................... SKIPPED
[INFO] The Intermediate Representation Tree ............... SKIPPED
[INFO] The Code Generation Platform ....................... SKIPPED
[INFO] The Java Code Generator Runtime .................... SKIPPED
[INFO] The Java Code Generator Testing .................... SKIPPED
[INFO] The Java Code Generator ............................ SKIPPED
[INFO] The VDM to JML Generator Runtime ................... SKIPPED
[INFO] The VDM to JML Generator ........................... SKIPPED
[INFO] The Java Code Generator Maven Plugin ............... SKIPPED
[INFO] The VDM to Isabelle Translator ..................... SKIPPED
[INFO] POG - Isagen Integration ........................... SKIPPED
[INFO] VDM Annotations .................................... SKIPPED
[INFO] Provided Annotations ............................... SKIPPED
[INFO] Annotation Examples ................................ SKIPPED
[INFO] Documentation ...................................... SKIPPED
[INFO] The Overture release notes ......................... SKIPPED
[INFO] Overture IDE Top-level ............................. SKIPPED
[INFO] org.overture.ide.core .............................. SKIPPED
[INFO] Overture IDE Builders .............................. SKIPPED
[INFO] org.overture.ide.builders.vdmj ..................... SKIPPED
[INFO] org.overture.ide.ui ................................ SKIPPED
[INFO] Overture IDE Parsers ............................... SKIPPED
[INFO] org.overture.ide.parsers.vdmj ...................... SKIPPED
[INFO] org.overture.ide.debug ............................. SKIPPED
[INFO] Overture IDE VDM-SL top level ...................... SKIPPED
[INFO] org.overture.ide.vdmsl.core ........................ SKIPPED
[INFO] org.overture.ide.vdmsl.ui .......................... SKIPPED
[INFO] org.overture.ide.vdmsl.debug ....................... SKIPPED
[INFO] Overture IDE VDM-PP Top-level ...................... SKIPPED
[INFO] org.overture.ide.vdmpp.core ........................ SKIPPED
[INFO] org.overture.ide.vdmpp.ui .......................... SKIPPED
[INFO] org.overture.ide.vdmpp.debug ....................... SKIPPED
[INFO] Overture IDE VDM-RT (RealTime) Top-level ........... SKIPPED
[INFO] org.overture.ide.vdmrt.core ........................ SKIPPED
[INFO] org.overture.ide.vdmrt.ui .......................... SKIPPED
[INFO] org.overture.ide.vdmrt.debug ....................... SKIPPED
[INFO] org.overture.ide.help .............................. SKIPPED
[INFO] Overture IDE core plugins GUI ...................... SKIPPED
[INFO] org.overture.ide.plugins.externaleditor ............ SKIPPED
[INFO] org.overture.ide.plugins.coverageeditor ............ SKIPPED
[INFO] org.overture.ide.plugins.csk ....................... SKIPPED
[INFO] org.overture.ide.plugins.quickinterpreter .......... SKIPPED
[INFO] org.overture.ide.plugins.latex ..................... SKIPPED
[INFO] org.overture.ide.plugins.poviewer .................. SKIPPED
[INFO] Combinatorial Testing .............................. SKIPPED
[INFO] Developer Utilities for Overture ................... SKIPPED
[INFO] UML2 Translator .................................... SKIPPED
[INFO] RT Trace Viewer Plugin ............................. SKIPPED
[INFO] The Java Code Generator Plugin ..................... SKIPPED
[INFO] Overture IDE Eclipse plugin features ............... SKIPPED
[INFO] org.overture.ide.platform .......................... SKIPPED
[INFO] Overture IDE Eclipse features ...................... SKIPPED
[INFO] Overture IDE Eclipse core feature .................. SKIPPED
[INFO] Overture IDE Eclipse Coverage Editor feature ....... SKIPPED
[INFO] Overture IDE Eclipse CSK VDM Tools Link feature .... SKIPPED
[INFO] Overture IDE Eclipse Combinatorial Testing feature . SKIPPED
[INFO] Overture IDE Eclipse Developer Utilities feature ... SKIPPED
[INFO] Overture IDE Eclipse LaTeX Creator feature ......... SKIPPED
[INFO] Overture IDE Eclipse Proof Obligation Viewer feature SKIPPED
[INFO] Overture IDE Eclipse VDM Quick Interpreter feature . SKIPPED
[INFO] Overture IDE Eclipse plugin uml2 feature ........... SKIPPED
[INFO] Overture IDE Eclipse Realtime Trace Viewer feature . SKIPPED
[INFO] Overture IDE Eclipse Java Code Generator feature ... SKIPPED
[INFO] Overture IDE Eclipse rcp feature ................... SKIPPED
[INFO] Overture IDE Standalone Product .................... SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time:  04:29 min
[INFO] Finished at: 2020-10-13T11:22:14+02:00
[INFO] ------------------------------------------------------------------------
[WARNING] The requested profile "force-download-externals" could not be activated because it does not exist.
[INFO] [jenkins-event-spy] Generated /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1@tmp/withMaven8932b67f/maven-spy-20201013-111744-6074096465541840981616.log
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-surefire-plugin:2.19.1:test (default-test) on project samples: Execution default-test of goal org.apache.maven.plugins:maven-surefire-plugin:2.19.1:test failed: The forked VM terminated without properly saying goodbye. VM crash or System.exit called?
[ERROR] Command was /bin/sh -c cd /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/samples && /usr/lib/jvm/java-8-oracle/jre/bin/java '-javaagent:/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/.repository/org/jacoco/org.jacoco.agent/0.7.6.201602180812/org.jacoco.agent-0.7.6.201602180812-runtime.jar=destfile=/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/samples/target/coverage-reports/jacoco-unit.exec,excludes=**/org/overture/ast/analysis/**/*.*:**/org/overture/ast/expressions/**/*.*:**/org/overture/ast/modules/**/*.*:**/org/overture/ast/node/**/*.*:**/org/overture/ast/patterns/**/*.*:**/org/overture/ast/statements/**/*.*:**/org/overture/ast/types/**/*.*:**/org/overture/codegen/ir/**/*:**/org/overture/ide/**/*' -jar /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/samples/target/surefire/surefirebooter5525525156511973514.jar /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/samples/target/surefire/surefire5533748055736494622tmp /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/samples/target/surefire/surefire_27784852406783552696tmp
[ERROR] -> [Help 1]
[ERROR] 
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR] 
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/PluginExecutionException
[ERROR] 
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR]   mvn <goals> -rf :samples
[Pipeline] }
[withMaven] artifactsPublisher - Archive artifact pom.xml under org/overturetool/root/3.0.1-SNAPSHOT/root-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/pom.xml under org/overturetool/externals/3.0.1-SNAPSHOT/externals-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact externals/target/externals-3.0.1-SNAPSHOT.jar under org/overturetool/externals/3.0.1-SNAPSHOT/externals-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/pom.xml under org/overturetool/core/3.0.1-SNAPSHOT/core-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/pom.xml under org/overturetool/core/ast/3.0.1-SNAPSHOT/ast-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-3.0.1-SNAPSHOT.jar under org/overturetool/core/ast/3.0.1-SNAPSHOT/ast-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/ast/target/ast-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/ast/3.0.1-SNAPSHOT/ast-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/pom.xml under org/overturetool/core/testframework/3.0.1-SNAPSHOT/testframework-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-3.0.1-SNAPSHOT.jar under org/overturetool/core/testframework/3.0.1-SNAPSHOT/testframework-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/testframework/target/testframework-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/testframework/3.0.1-SNAPSHOT/testframework-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/pom.xml under org/overturetool/core/parser/3.0.1-SNAPSHOT/parser-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-3.0.1-SNAPSHOT.jar under org/overturetool/core/parser/3.0.1-SNAPSHOT/parser-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/parser/target/parser-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/parser/3.0.1-SNAPSHOT/parser-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/typechecker/pom.xml under org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/typechecker/target/typechecker-3.0.1-SNAPSHOT.jar under org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/typechecker/target/typechecker-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/typechecker/3.0.1-SNAPSHOT/typechecker-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/pom.xml under org/overturetool/core/testing/3.0.1-SNAPSHOT/testing-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/pom.xml under org/overturetool/core/testing/framework/3.0.1-SNAPSHOT/framework-3.0.1-SNAPSHOT.pom
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/target/framework-3.0.1-SNAPSHOT.jar under org/overturetool/core/testing/framework/3.0.1-SNAPSHOT/framework-3.0.1-SNAPSHOT.jar
[withMaven] artifactsPublisher - Archive artifact core/testing/framework/target/framework-3.0.1-SNAPSHOT-javadoc.jar under org/overturetool/core/testing/framework/3.0.1-SNAPSHOT/framework-3.0.1-SNAPSHOT-javadoc.jar
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool:externals:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): externals/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:ast:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/ast/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:testframework:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/testframework/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:parser:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/parser/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core:typechecker:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/typechecker/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.testing:framework:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/testing/framework/target/surefire-reports/*.xml
[withMaven] junitPublisher - Archive test results for Maven artifact org.overturetool.core.testing:samples:jar:3.0.1-SNAPSHOT generated by maven-surefire-plugin:test (default-test): core/testing/samples/target/surefire-reports/*.xml
[withMaven] junitPublisher - Jenkins JUnit Attachments Plugin not found, can't publish test attachments.Recording test results
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:root:pom:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: target/coverage-reports/jacoco-unit.exec, sources: src/main/java, classes: target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:externals:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: externals/target/coverage-reports/jacoco-unit.exec, sources: externals/src/main/java, classes: externals/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool:core:pom:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/target/coverage-reports/jacoco-unit.exec, sources: core/src/main/java, classes: core/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:ast:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/ast/target/coverage-reports/jacoco-unit.exec, sources: core/ast/src/main/java, classes: core/ast/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:testframework:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testframework/target/coverage-reports/jacoco-unit.exec, sources: core/testframework/src/main/java, classes: core/testframework/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:parser:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/parser/target/coverage-reports/jacoco-unit.exec, sources: core/parser/src/main/java, classes: core/parser/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:typechecker:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/typechecker/target/coverage-reports/jacoco-unit.exec, sources: core/typechecker/src/main/java, classes: core/typechecker/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core:testing:pom:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testing/target/coverage-reports/jacoco-unit.exec, sources: core/testing/src/main/java, classes: core/testing/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.testing:framework:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testing/framework/target/coverage-reports/jacoco-unit.exec, sources: core/testing/framework/src/main/java, classes: core/testing/framework/target/classes
[withMaven] jacocoPublisher - Archive JaCoCo analysis results for Maven artifact MavenArtifact{org.overturetool.core.testing:samples:jar:3.0.1-SNAPSHOT(version: 3.0.1-SNAPSHOT, snapshot:false) } generated by PluginInvocation{org.jacoco:jacoco-maven-plugin:0.7.6.201602180812@prepare-agent  jacoco-initialize}: execFile: core/testing/samples/target/coverage-reports/jacoco-unit.exec, sources: core/testing/samples/src/main/java, classes: core/testing/samples/target/classes
[JaCoCo plugin] Collecting JaCoCo coverage data...
[JaCoCo plugin] target/coverage-reports/jacoco-unit.exec,externals/target/coverage-reports/jacoco-unit.exec,core/target/coverage-reports/jacoco-unit.exec,core/ast/target/coverage-reports/jacoco-unit.exec,core/testframework/target/coverage-reports/jacoco-unit.exec,core/parser/target/coverage-reports/jacoco-unit.exec,core/typechecker/target/coverage-reports/jacoco-unit.exec,core/testing/target/coverage-reports/jacoco-unit.exec,core/testing/framework/target/coverage-reports/jacoco-unit.exec,core/testing/samples/target/coverage-reports/jacoco-unit.exec;target/classes,externals/target/classes,core/target/classes,core/ast/target/classes,core/testframework/target/classes,core/parser/target/classes,core/typechecker/target/classes,core/testing/target/classes,core/testing/framework/target/classes,core/testing/samples/target/classes;src/main/java,externals/src/main/java,core/src/main/java,core/ast/src/main/java,core/testframework/src/main/java,core/parser/src/main/java,core/typechecker/src/main/java,core/testing/src/main/java,core/testing/framework/src/main/java,core/testing/samples/src/main/java; locations are configured
[JaCoCo plugin] Number of found exec files for pattern target/coverage-reports/jacoco-unit.exec,externals/target/coverage-reports/jacoco-unit.exec,core/target/coverage-reports/jacoco-unit.exec,core/ast/target/coverage-reports/jacoco-unit.exec,core/testframework/target/coverage-reports/jacoco-unit.exec,core/parser/target/coverage-reports/jacoco-unit.exec,core/typechecker/target/coverage-reports/jacoco-unit.exec,core/testing/target/coverage-reports/jacoco-unit.exec,core/testing/framework/target/coverage-reports/jacoco-unit.exec,core/testing/samples/target/coverage-reports/jacoco-unit.exec: 3
[JaCoCo plugin] Saving matched execfiles:  /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/parser/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/samples/target/coverage-reports/jacoco-unit.exec /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/target/coverage-reports/jacoco-unit.exec
[JaCoCo plugin] Saving matched class directories for class-pattern: target/classes,externals/target/classes,core/target/classes,core/ast/target/classes,core/testframework/target/classes,core/parser/target/classes,core/typechecker/target/classes,core/testing/target/classes,core/testing/framework/target/classes,core/testing/samples/target/classes: 
[JaCoCo plugin]  - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/ast/target/classes 473 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/parser/target/classes 45 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testframework/target/classes 23 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/target/classes 8 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/samples/target/classes 0 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/target/classes 155 files
[JaCoCo plugin]  - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/externals/target/classes 0 files
[JaCoCo plugin] Saving matched source directories for source-pattern: src/main/java,externals/src/main/java,core/src/main/java,core/ast/src/main/java,core/testframework/src/main/java,core/parser/src/main/java,core/typechecker/src/main/java,core/testing/src/main/java,core/testing/framework/src/main/java,core/testing/samples/src/main/java: 
[JaCoCo plugin] Source Inclusions: **/*.java,**/*.groovy,**/*.kt,**/*.kts
[JaCoCo plugin] Source Exclusions: 
[JaCoCo plugin] - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/ast/src/main/java 71 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/parser/src/main/java 32 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testframework/src/main/java 16 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/testing/framework/src/main/java 7 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/core/typechecker/src/main/java 138 files
[JaCoCo plugin] - /var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1/src/main/java 0 files
[JaCoCo plugin] Loading inclusions files..
[JaCoCo plugin] inclusions: []
[JaCoCo plugin] exclusions: []
[JaCoCo plugin] Thresholds: JacocoHealthReportThresholds [minClass=0, maxClass=0, minMethod=0, maxMethod=0, minLine=0, maxLine=0, minBranch=0, maxBranch=0, minInstruction=0, maxInstruction=0, minComplexity=0, maxComplexity=0]
[JaCoCo plugin] Publishing the results..
[JaCoCo plugin] Loading packages..
[JaCoCo plugin] Done.
[JaCoCo plugin] Overall coverage: class: 83, method: 44, line: 43, branch: 31, instruction: 42, complexity: 32
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool:root:pom:3.0.1-SNAPSHOT in source directory src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:ast:jar:3.0.1-SNAPSHOT in source directory core/ast/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:testframework:jar:3.0.1-SNAPSHOT in source directory core/testframework/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:parser:jar:3.0.1-SNAPSHOT in source directory core/parser/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core:typechecker:jar:3.0.1-SNAPSHOT in source directory core/typechecker/src/main/java
[withMaven] openTasksPublisher - Scan Tasks for Maven artifact org.overturetool.core.testing:framework:jar:3.0.1-SNAPSHOT in source directory core/testing/framework/src/main/java
[TASKS] Scanning folder '/var/lib/jenkins/workspace/n_core_isapog_junit-junit-4.13.1' for files matching the pattern 'src/main/java/**/*,core/ast/src/main/java/**/*,core/testframework/src/main/java/**/*,core/parser/src/main/java/**/*,core/typechecker/src/main/java/**/*,core/testing/framework/src/main/java/**/*' - excludes: null
[TASKS] Found 269 files to scan for tasks
[TASKS] Found 96 open tasks.
Skipping warnings blame since pipelines do not have an SCM link.%n
[withMaven] Publishers: Pipeline Graph Publisher: 215 ms, Generated Artifacts Publisher: 3347 ms, Invoker Publisher: 1 ms, Junit Publisher: 1229 ms, Dependencies Fingerprint Publisher: 194 ms, Jacoco Publisher: 20870 ms, Open Task Scanner Publisher: 1523 ms
[Pipeline] // withMaven
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Clean up workspace)
[Pipeline] cleanWs
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Reporting)
[Pipeline] emailextrecipients
[Pipeline] emailext
An attempt to send an e-mail to empty list of recipients, ignored.
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

ERROR: script returned exit code 1
Finished: FAILURE