Path: . Working Copy Root Path: /Users/tester/work/civl/0.11/r930 URL: svn://vsl.cis.udel.edu/civl/tags/0.11 Relative URL: ^/tags/0.11 Repository Root: svn://vsl.cis.udel.edu/civl Repository UUID: fb995dde-84ed-4084-dfe6-e5aef3e2452c Revision: 930 Node Kind: directory Schedule: normal Last Changed Author: zmanchun Last Changed Rev: 930 Last Changed Date: 2014-04-22 00:12:59 -0400 (Tue, 22 Apr 2014)
Stdout:
Buildfile: /Users/tester/work/civl/0.11/r930/build.xml
compile:
[mkdir] Created dir: /Users/tester/work/civl/0.11/r930/bin
[javac] Compiling 251 source files to /Users/tester/work/civl/0.11/r930/bin
[javac] Creating empty /Users/tester/work/civl/0.11/r930/bin/edu/udel/cis/vsl/civl/gui/package-info.class
[javac] Creating empty /Users/tester/work/civl/0.11/r930/bin/edu/udel/cis/vsl/civl/library/pthread/package-info.class
[javac] Creating empty /Users/tester/work/civl/0.11/r930/bin/edu/udel/cis/vsl/civl/state/package-info.class
[javac] Creating empty /Users/tester/work/civl/0.11/r930/bin/edu/udel/cis/vsl/civl/library/IF/package-info.class
jar:
[jar] Building jar: /Users/tester/work/civl/0.11/r930/civl.jar
test-init:
[mkdir] Created dir: /Users/tester/work/civl/0.11/r930/junit
[mkdir] Created dir: /Users/tester/work/civl/0.11/r930/junit/data
[mkdir] Created dir: /Users/tester/work/civl/0.11/r930/junit/reports
[mkdir] Created dir: /Users/tester/work/civl/0.11/r930/bin-test
test-compile:
[javac] Compiling 12 source files to /Users/tester/work/civl/0.11/r930/bin-test
test-run:
[jacoco:coverage] Enhancing junit with coverage
[junit] objc[17345]: Class JavaLaunchHelper is implemented in both /Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/bin/java and /Library/Java/JavaVirtualMachines/jdk1.7.0_45.jdk/Contents/Home/jre/lib/libinstrument.dylib. One of the two will be used. Which one is undefined.
[junit] Testsuite: edu.udel.cis.vsl.civl.AccuracyTest
[junit] Testsuite: edu.udel.cis.vsl.civl.Batch-With-Multiple-Tests
[junit] Tests run: 1, Failures: 0, Errors: 1, Skipped: 0, Time elapsed: 0 sec
[junit]
[junit] Testcase: edu.udel.cis.vsl.civl.Batch-With-Multiple-Tests:laplace2d: Caused an ERROR
[junit] Timeout occurred. Please note the time in the report does not reflect the time until the timeout.
[junit] junit.framework.AssertionFailedError: Timeout occurred. Please note the time in the report does not reflect the time until the timeout.
[junit] at org.jacoco.ant.CoverageTask.execute(CoverageTask.java:102)
[junit]
[junit]
[junitreport] the file /Users/tester/work/civl/0.11/r930/junit/data/TEST-edu.udel.cis.vsl.civl.AccuracyTest.xml is empty.
[junitreport] This can be caused by the test JVM exiting unexpectedly
[junitreport] Processing /Users/tester/work/civl/0.11/r930/junit/data/TESTS-TestSuites.xml to /var/folders/tb/t0f_d_29043c_qts86hdnb1h0000gt/T/null1914370007
[junitreport] Loading stylesheet jar:file:/opt/local/share/java/apache-ant/lib/ant-junit.jar!/org/apache/tools/ant/taskdefs/optional/junit/xsl/junit-frames.xsl
[junitreport] Transform time: 458ms
[junitreport] Deleting: /var/folders/tb/t0f_d_29043c_qts86hdnb1h0000gt/T/null1914370007
test:
[jacoco:report] Loading execution data file /Users/tester/work/civl/0.11/r930/jacoco.exec
[jacoco:report] Writing group "Test Coverage Report for CIVL 0.11 r930" with 198 classes
javadoc:
[mkdir] Created dir: /Users/tester/work/civl/0.11/r930/doc/javadoc
[javadoc] Generating Javadoc
[javadoc] Javadoc execution
[javadoc] Loading source files for package edu.udel.cis.vsl.civl...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.err...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.gui...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.kripke...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.library...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.library.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.library.civlc...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.library.mpi...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.library.pthread...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.library.stdio...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.library.stdlib...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.log...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.IF.expression...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.IF.location...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.IF.statement...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.IF.type...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.IF.variable...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.common...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.common.expression...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.common.location...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.common.statement...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.common.type...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.model.common.variable...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.predicate...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.run...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.semantics...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.semantics.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.state...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.state.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.state.immutable...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.transform.common...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.transition...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.util...
[javadoc] Constructing Javadoc information...
[javadoc] Standard Doclet version 1.7.0_45
[javadoc] Building tree for all the packages and classes...
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/gui/package-info.java:8: warning - @author tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/gui/CIVL_GUI.java:137: warning - @param argument "manager" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/kripke/AmpleSetWorker.java:160: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/kripke/AmpleSetWorker.java:699: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/kripke/Enabler.java:171: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/kripke/Enabler.java:242: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/kripke/Enabler.java:191: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/kripke/ScopedEnabler.java:118: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/kripke/ScopedEnabler.java:208: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/kripke/ScopedEnabler.java:481: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/IF/LibraryEnabler.java:55: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/Library.java:67: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/civlc/LibcivlcEnabler.java:182: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/civlc/LibcivlcEnabler.java:269: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/civlc/LibcivlcEnabler.java:308: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/civlc/LibcivlcEnabler.java:414: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/civlc/LibcivlcExecutor.java:1361: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/civlc/LibcivlcExecutor.java:1427: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/mpi/LibmpiExecutor.java:80: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/mpi/LibmpiExecutor.java:114: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/stdio/LibstdioExecutor.java:270: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/stdio/LibstdioExecutor.java:513: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:216: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:223: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:231: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/CIVLSource.java:41: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/Model.java:225: warning - @param argument "gbarrierType" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelBuilder.java:42: warning - @param argument "out" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelBuilder.java:42: warning - @param argument "debug" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:684: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:707: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:916: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:952: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1031: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1042: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1536: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:515: warning - Tag @link: reference not found: CIVLDynamicType
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1251: warning - Tag @link: reference not found: ComonModelFactory#ATOMIC_LOCK_VARIABLE
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/MPIModelFactory.java:151: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/MPIModelFactory.java:72: warning - @param argument "source" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/MPIModelFactory.java:144: warning - @param argument "scope" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/MPIModelFactory.java:186: warning - @param argument "scope" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/MPIModelFactory.java:186: warning - @param argument "functionCallNode" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/MPIModelFactory.java:206: warning - @param argument "scope" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/Scope.java:75: warning - @param argument "A" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/Scope.java:174: warning - @param argument "des" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:118: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/LHSExpression.java:40: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/LHSExpression.java:50: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/DynamicTypeOfExpression.java:23: warning - Tag @link: reference not found: CIVLDynamicType
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/FunctionGuardExpression.java:21: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/FunctionGuardExpression.java:29: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/LHSExpression.java:50: warning - @param argument "scope" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/SystemGuardExpression.java:18: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/SystemGuardExpression.java:25: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/SystemGuardExpression.java:32: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/expression/WaitGuardExpression.java:15: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/location/Location.java:244: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/location/Location.java:253: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/location/Location.java:261: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/location/Location.java:273: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/location/Location.java:244: warning - @return tag cannot be used in method with void return type.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/location/Location.java:261: warning - @return tag cannot be used in method with void return type.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/statement/Statement.java:179: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/statement/Statement.java:186: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/statement/CallOrSpawnStatement.java:73: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/statement/MallocStatement.java:76: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/statement/MPIBarrierStatement.java:25: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLType.java:52: warning - Tag @link: reference not found: PrimitiveTypeKind.VOID
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLEnumType.java:17: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLType.java:52: warning - Tag @link: reference not found: PrimitiveTypeKind.VOID
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/variable/Variable.java:119: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonIdentifier.java:26: warning - @param argument "name" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonModelBuilder.java:61: warning - @param argument "mpiMode" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonModelFactory.java:2376: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:515: warning - Tag @link: reference not found: CIVLDynamicType
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonModelFactory.java:1348: warning - @param argument "function" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1251: warning - Tag @link: reference not found: ComonModelFactory#ATOMIC_LOCK_VARIABLE
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonMPIModelFactory.java:89: warning - @param argument "factory" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonMPIModelFactory.java:108: warning - @param argument "scope" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonMPIModelFactory.java:108: warning - @param argument "functionCallNode" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonMPIModelFactory.java:135: warning - @param argument "scope" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonMPIModelFactory.java:135: warning - @param argument "functionCallNode" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonMPIModelFactory.java:194: warning - @param argument "scope" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonMPIModelFactory.java:194: warning - @param argument "functionCallNode" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonMPIModelFactory.java:221: warning - @param argument "scope" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonMPIModelFactory.java:221: warning - @param argument "functionCallNode" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/CommonScope.java:149: warning - @param argument "A" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/FunctionTranslator.java:1246: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/MPIFunctionTranslator.java:407: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/expression/CommonBooleanLiteralExpression.java:30: warning - @param argument "The" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/expression/CommonBooleanLiteralExpression.java:46: warning - @param argument "The" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/expression/CommonDotExpression.java:37: warning - @param argument "field" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/statement/CommonAtomBranchStatement.java:45: warning - @param argument "atomicKind" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/statement/CommonAtomicLockAssignStatement.java:51: warning - @param argument "atomicKind" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/statement/CommonCallStatement.java:52: warning - @param argument "function" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/statement/CommonIfElseBranchStatement.java:36: warning - @param argument "isTrue" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLType.java:52: warning - Tag @link: reference not found: PrimitiveTypeKind.VOID
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLType.java:52: warning - Tag @link: reference not found: PrimitiveTypeKind.VOID
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLType.java:52: warning - Tag @link: reference not found: PrimitiveTypeKind.VOID
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLType.java:52: warning - Tag @link: reference not found: PrimitiveTypeKind.VOID
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLType.java:52: warning - Tag @link: reference not found: PrimitiveTypeKind.VOID
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLType.java:52: warning - Tag @link: reference not found: PrimitiveTypeKind.VOID
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/common/type/CommonPrimitiveType.java:64: warning - @param argument "The" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLType.java:52: warning - Tag @link: reference not found: PrimitiveTypeKind.VOID
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/model/IF/type/CIVLType.java:52: warning - Tag @link: reference not found: PrimitiveTypeKind.VOID
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/predicate/Deadlock.java:86: warning - @param argument "evaluator" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/predicate/Deadlock.java:86: warning - @param argument "prover" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/run/UserInterface.java:936: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonEvaluator.java:1032: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonEvaluator.java:1603: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonEvaluator.java:2008: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/IF/Evaluator.java:114: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/IF/Evaluator.java:182: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/IF/Evaluator.java:214: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonExecutor.java:648: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonExecutor.java:215: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonExecutor.java:292: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonExecutor.java:366: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/IF/Executor.java:116: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/IF/Executor.java:143: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonExecutor.java:170: warning - @param argument "model" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonExecutor.java:170: warning - @param argument "universe" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonExecutor.java:170: warning - @param argument "prover" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonExecutor.java:197: warning - @param argument "model" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonExecutor.java:197: warning - @param argument "universe" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/CommonExecutor.java:197: warning - @param argument "prover" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/MPIExecutor.java:56: warning - @param argument "model" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/MPIExecutor.java:56: warning - @param argument "universe" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/MPIExecutor.java:56: warning - @param argument "prover" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/semantics/IF/Evaluator.java:182: warning - @param argument "assumption" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/state/IF/State.java:251: warning - @param argument "variable" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/state/IF/State.java:251: warning - @param argument "scopeID" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/state/IF/StateFactory.java:118: warning - @param argument "scopeID" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/state/immutable/ImmutableStateFactory.java:1099: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/state/immutable/ImmutableStateFactory.java:650: warning - @return tag has no arguments.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/transition/Transition.java:65: warning - @param argument "The" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/transition/Transition.java:73: warning - @param argument "The" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/util/Transmuter.java:57: warning - @param argument "m" is not a parameter name.
[javadoc] /Users/tester/work/civl/0.11/r930/src/edu/udel/cis/vsl/civl/library/pthread/package-info.java:8: warning - @author tag has no arguments.
[javadoc] Building index for all the packages and classes...
[javadoc] Building index for all classes...
[javadoc] javadoc: error - Error while reading file /Users/tester/work/civl/0.11/r930/src/overview.html
[javadoc] Generating /Users/tester/work/civl/0.11/r930/doc/javadoc/help-doc.html...
[javadoc] 1 error
[javadoc] 140 warnings
bench-compile:
[javac] Compiling 5 source files to /Users/tester/work/civl/0.11/r930/bin
all:
BUILD SUCCESSFUL
Total time: 5 minutes 15 seconds
Stderr:
[junit] Tests FAILED (timeout)