Path: . Working Copy Root Path: /usa/svn/work/civl/1.9/r4292 URL: svn://vsl.cis.udel.edu/civl/trunk Relative URL: ^/trunk Repository Root: svn://vsl.cis.udel.edu/civl Repository UUID: fb995dde-84ed-4084-dfe6-e5aef3e2452c Revision: 4292 Node Kind: directory Schedule: normal Last Changed Author: ziqing Last Changed Rev: 4292 Last Changed Date: 2017-05-25 11:12:11 -0400 (Thu, 25 May 2017)
Stdout:
Buildfile: /usa/svn/work/civl/1.9/r4292/build.xml
checkCommandParserChanges:
CommandParser:
[move] Moving 1 file to /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/run/common
[move] Moving 1 file to /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/run/common
[move] Moving 1 file to /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/run/common
[move] Moving 1 file to /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/run/common
compile:
[mkdir] Created dir: /usa/svn/work/civl/1.9/r4292/bin
[javac] Compiling 507 source files to /usa/svn/work/civl/1.9/r4292/bin
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/model/IF/expression/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/state/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/gui/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/gui/common/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/semantics/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/kripke/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/util/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/domain/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/model/IF/type/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/comm/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/pointer/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/model/IF/location/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/time/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/pthread/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/config/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/dynamic/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/civlc/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/log/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/common/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/model/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/model/IF/variable/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/seq/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/string/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/analysis/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/scope/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/model/IF/statement/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/predicate/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/library/bundle/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/slice/common/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/slice/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/run/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.9/r4292/bin/edu/udel/cis/vsl/civl/transform/IF/package-info.class
[copy] Copying 30 files to /usa/svn/work/civl/1.9/r4292/bin/include
jar:
[jar] Building jar: /usa/svn/work/civl/1.9/r4292/civl.jar
test-init:
[mkdir] Created dir: /usa/svn/work/civl/1.9/r4292/junit
[mkdir] Created dir: /usa/svn/work/civl/1.9/r4292/junit/data
[mkdir] Created dir: /usa/svn/work/civl/1.9/r4292/junit/reports
[mkdir] Created dir: /usa/svn/work/civl/1.9/r4292/bin-test/regress
test-compile:
[javac] Compiling 32 source files to /usa/svn/work/civl/1.9/r4292/bin-test/regress
test-run:
[jacoco:coverage] Enhancing junit with coverage
[junit] Testsuite: edu.udel.cis.vsl.civl.AnalysisTest
[junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.947 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ArithmeticTest
[junit] Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 641.014 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.BackendTest
[junit] Tests run: 16, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 5.924 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.CompareTest
[junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.985 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ConcurrencyTest
[junit] Tests run: 34, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 11.718 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.LanguageFeaturesTest
[junit] Tests run: 127, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 10.72 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.LibraryTest
[junit] Tests run: 54, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 5.87 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ModelBuilderTest
[junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.317 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.PORTest
[junit] Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.543 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.QuietOptionTest
[junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.229 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ReasoningTest
[junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.519 sec
[junit]
[junit] ------------- Standard Output ---------------
[junit] Warning: verified probabilistically with probability of error < 2.939 E-39
[junit] Warning: verified probabilistically with probability of error < 2.939 E-39
[junit] Warning: verified probabilistically with probability of error < 2.939 E-39
[junit] Warning: verified probabilistically with probability of error < 2.939 E-39
[junit] Warning: verified probabilistically with probability of error < 2.939 E-39
[junit] ------------- ---------------- ---------------
[junit] Testsuite: edu.udel.cis.vsl.civl.ShowStatesTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.066 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.SimpleMPITest
[junit] Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 37.681 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.SpecialStatementsTest
[junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.171 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.SvcompTest
[junit] Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 8.824 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.VerifyThisTest
[junit] Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 24.976 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.CompareTest
[junit] Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 29.87 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.ContractTest
[junit] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 15.125 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.CudaTest
[junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 19.606 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.GenTransformerTest
[junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.367 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.IOTransformerTest
[junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.759 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.LoopInvariantsTest
[junit] Tests run: 18, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 10.668 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.MPICollectivePart1Test
[junit] Tests run: 20, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 32.41 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.MPICollectivePart2Test
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.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.transform.Batch-With-Multiple-Tests:reduce_type: 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] Processing /usa/svn/work/civl/1.9/r4292/junit/data/TESTS-TestSuites.xml to /tmp/null1526217150
[junitreport] Loading stylesheet jar:file:/usr/share/ant/lib/ant-junit.jar!/org/apache/tools/ant/taskdefs/optional/junit/xsl/junit-frames.xsl
[junitreport] Warning: org.apache.xerces.jaxp.SAXParserImpl$JAXPSAXParser: Property 'http://javax.xml.XMLConstants/property/accessExternalDTD' is not recognized.
[junitreport] Warning: org.apache.xerces.jaxp.SAXParserImpl$JAXPSAXParser: Property 'http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit' is not recognized.
[junitreport] Transform time: 451ms
[junitreport] Deleting: /tmp/null1526217150
test:
[jacoco:report] Loading execution data file /usa/svn/work/civl/1.9/r4292/jacoco.exec
[jacoco:report] Writing bundle 'Test Coverage Report for CIVL 1.9 r4292 Regression Suite' with 484 classes
javadoc:
[mkdir] Created dir: /usa/svn/work/civl/1.9/r4292/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.analysis.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.config.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.dynamic.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.gui.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.kripke.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.log.IF...
[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.contract...
[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.expression.reference...
[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.predicate.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.run.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.semantics.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.slice.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.state.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.transform.IF...
[javadoc] Loading source files for package edu.udel.cis.vsl.civl.util.IF...
[javadoc] Constructing Javadoc information...
[javadoc] Standard Doclet version 1.8.0_66
[javadoc] Building tree for all the packages and classes...
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/analysis/IF/CodeAnalyzer.java:21: warning: no description for @param
[javadoc] * @param state
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/analysis/IF/CodeAnalyzer.java:22: warning: no description for @param
[javadoc] * @param pid
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/analysis/IF/CodeAnalyzer.java:23: warning: no description for @param
[javadoc] * @param statement
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/analysis/IF/CodeAnalyzer.java:24: warning: no description for @param
[javadoc] * @param argumentValues
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/analysis/IF/CodeAnalyzer.java:33: warning: no description for @param
[javadoc] * @param statement
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/analysis/IF/CodeAnalyzer.java:40: warning: no description for @param
[javadoc] * @param out
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/config/IF/CIVLConfiguration.java:757: warning: no @return
[javadoc] public int getProcBound() {
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/Dynamics.java:26: warning: no @param for stateFactory
[javadoc] public static SymbolicUtility newSymbolicUtility(SymbolicUniverse universe,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicWriteSet.java:70: warning: no description for @param
[javadoc] * @param operator
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicWriteSet.java:36: error: tag not allowed here: <br>
[javadoc] * <li>executeMalloc and malloc in {@link CommonExecutor}</li> <br>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicWriteSet.java:36: error: text not allowed in <ul> element
[javadoc] * <li>executeMalloc and malloc in {@link CommonExecutor}</li> <br>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicWriteSet.java:45: error: unexpected end tag: </p>
[javadoc] * </p>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:380: error: semicolon missing
[javadoc] * pointer. For example, given a pointer &a[5] and a reference [0], the
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:381: error: semicolon missing
[javadoc] * result will be &a[0]. The given pointer can refer to a heap object, in
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:650: error: tag not allowed here: <li>
[javadoc] * <li>length(array_extents) > 0</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:650: error: bad use of '>'
[javadoc] * <li>length(array_extents) > 0</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:651: error: unexpected end tag: </p>
[javadoc] * </p>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:660: error: bad use of '>'
[javadoc] * @return Sizes of all array slices. e.g. input:{2,3,4} ==> output:{12, 4,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:662: error: exception not thrown: edu.udel.cis.vsl.civl.state.IF.UnsatisfiablePathConditionException
[javadoc] * @throws UnsatisfiablePathConditionException
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:662: warning: no description for @throws
[javadoc] * @throws UnsatisfiablePathConditionException
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:750: warning: no description for @param
[javadoc] * @param domain
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:758: warning: no description for @param
[javadoc] * @param range
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:768: warning: no description for @param
[javadoc] * @param domain
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:769: warning: no description for @param
[javadoc] * @param index
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:780: warning: no description for @param
[javadoc] * @param range
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:790: warning: no description for @param
[javadoc] * @param range
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:801: warning: no description for @param
[javadoc] * @param range
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:809: warning: no description for @param
[javadoc] * @param domain
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:816: error: bad HTML entity
[javadoc] * clause is <code> X==3 && Y<5 && (a[k]>2 || k<0) </code>, then the result
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:816: error: bad HTML entity
[javadoc] * clause is <code> X==3 && Y<5 && (a[k]>2 || k<0) </code>, then the result
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:816: error: malformed HTML
[javadoc] * clause is <code> X==3 && Y<5 && (a[k]>2 || k<0) </code>, then the result
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:816: error: bad HTML entity
[javadoc] * clause is <code> X==3 && Y<5 && (a[k]>2 || k<0) </code>, then the result
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:816: error: bad HTML entity
[javadoc] * clause is <code> X==3 && Y<5 && (a[k]>2 || k<0) </code>, then the result
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:816: error: bad use of '>'
[javadoc] * clause is <code> X==3 && Y<5 && (a[k]>2 || k<0) </code>, then the result
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:816: error: malformed HTML
[javadoc] * clause is <code> X==3 && Y<5 && (a[k]>2 || k<0) </code>, then the result
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:817: error: malformed HTML
[javadoc] * is an array of clauses:<code>{ X==3, Y<5, a[k]>2 || k<0}</code>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:817: error: bad use of '>'
[javadoc] * is an array of clauses:<code>{ X==3, Y<5, a[k]>2 || k<0}</code>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:817: error: malformed HTML
[javadoc] * is an array of clauses:<code>{ X==3, Y<5, a[k]>2 || k<0}</code>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:819: warning: no description for @param
[javadoc] * @param cnfClause
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:827: warning: no description for @param
[javadoc] * @param function
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:828: error: @param name not found
[javadoc] * @param arguments
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:828: warning: no description for @param
[javadoc] * @param arguments
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:829: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:831: warning: no @param for library
[javadoc] SymbolicExpression getAbstractGuardOfFunctionCall(String library,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:831: warning: no @param for argumentValues
[javadoc] SymbolicExpression getAbstractGuardOfFunctionCall(String library,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:841: warning: no description for @param
[javadoc] * @param originalFunction
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:842: warning: no description for @param
[javadoc] * @param argument
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:843: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:855: warning: no description for @param
[javadoc] * @param range
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:856: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:858: warning: no @param for reasoner
[javadoc] BitSet range2BitSet(SymbolicExpression range, Reasoner reasoner);
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:870: warning: no description for @param
[javadoc] * @param pointer
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:871: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/gui/IF/CIVL_GUI.java:101: error: @param name not found
[javadoc] * @param transitions
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/gui/IF/CIVL_GUI.java:104: warning: no @param for trace
[javadoc] public CIVL_GUI(Trace<Transition, State> trace,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/gui/IF/CIVL_GUI.java:104: warning: no @param for symbolicAnalyzer
[javadoc] public CIVL_GUI(Trace<Transition, State> trace,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/kripke/IF/Kripkes.java:42: warning: no @param for executor
[javadoc] public static Enabler newEnabler(StateFactory stateFactory,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/kripke/IF/LibraryEnabler.java:54: warning: no description for @param
[javadoc] * @param reachablePtrWritableMap
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/kripke/IF/LibraryEnabler.java:55: warning: no description for @param
[javadoc] * @param reachablePtrReadonlyMap
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/kripke/IF/LibraryEnabler.java:56: warning: no description for @param
[javadoc] * @param reachableNonPtrWritableMap
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/kripke/IF/LibraryEnabler.java:57: warning: no description for @param
[javadoc] * @param reachableNonPtrReadonlyMap
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/kripke/IF/LibraryEnabler.java:58: error: @param name not found
[javadoc] * @param reachableMemUnitsMap
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/kripke/IF/LibraryEnabler.java:61: warning: no description for @throws
[javadoc] * @throws UnsatisfiablePathConditionException
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/kripke/IF/LibraryEnabler.java:87: warning: no description for @throws
[javadoc] * @throws UnsatisfiablePathConditionException
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/kripke/IF/LibraryEnablerLoader.java:35: warning: no description for @throws
[javadoc] * @throws LibraryLoaderException
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:104: error: bad HTML entity
[javadoc] * <li>pcsat=YES && condsat=NO : certainty=PROVEABLE</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:104: error: bad HTML entity
[javadoc] * <li>pcsat=YES && condsat=NO : certainty=PROVEABLE</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:105: error: bad HTML entity
[javadoc] * <li>pcsat=YES && condsat=MAYBE : certainty=MAYBE</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:105: error: bad HTML entity
[javadoc] * <li>pcsat=YES && condsat=MAYBE : certainty=MAYBE</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:106: error: bad HTML entity
[javadoc] * <li>pcsat=MAYBE && condsat=NO : certainty=MAYBE</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:106: error: bad HTML entity
[javadoc] * <li>pcsat=MAYBE && condsat=NO : certainty=MAYBE</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:107: error: bad HTML entity
[javadoc] * <li>pcsat=MAYBE && condsat=MAYBE : certainty=MAYBE</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:107: error: bad HTML entity
[javadoc] * <li>pcsat=MAYBE && condsat=MAYBE : certainty=MAYBE</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:110: error: unexpected end tag: </p>
[javadoc] * </p>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:121: error: @param name not found
[javadoc] * @param process
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:150: warning: no @param for pid
[javadoc] public State logError(CIVLSource source, State state, int pid,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:64: warning: no description for @param
[javadoc] * @param directory
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:65: warning: no description for @param
[javadoc] * @param sessionName
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:66: warning: no description for @param
[javadoc] * @param out
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:67: error: @param name not found
[javadoc] * @param config
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:67: warning: no description for @param
[javadoc] * @param config
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:68: warning: no description for @param
[javadoc] * @param universe
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:69: warning: no description for @param
[javadoc] * @param solve
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:71: warning: no @param for civlConfig
[javadoc] public CIVLErrorLogger(File directory, String sessionName, PrintStream out,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:71: warning: no @param for gmcConfig
[javadoc] public CIVLErrorLogger(File directory, String sessionName, PrintStream out,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLErrorLogger.java:71: warning: no @param for stateFactory
[javadoc] public CIVLErrorLogger(File directory, String sessionName, PrintStream out,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLExecutionException.java:42: error: @param name not found
[javadoc] * @param stateString
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/log/IF/CIVLExecutionException.java:48: warning: no @param for state
[javadoc] public CIVLExecutionException(ErrorKind kind, Certainty certainty,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:185: error: bad use of '>'
[javadoc] * location to the target of the no-op location. For example, let l(s->l',
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:186: error: bad use of '>'
[javadoc] * ...) be a location l with statement s going to l' ... l1 (s1 -> l2, s2 ->
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:186: error: bad use of '>'
[javadoc] * ...) be a location l with statement s going to l' ... l1 (s1 -> l2, s2 ->
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:187: error: bad use of '>'
[javadoc] * l3), l2 ([true]no-op -> l4), l3(), l(4) After applying simplify(), should
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:188: error: bad use of '>'
[javadoc] * be l1 (s1 -> l4, s2 -> l3), l3(), l4()
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:188: error: bad use of '>'
[javadoc] * be l1 (s1 -> l4, s2 -> l3), l3(), l4()
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:245: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:294: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:304: warning: no description for @param
[javadoc] * @param validConsequences
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:314: error: @param name not found
[javadoc] * @param validConsequences
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:314: warning: no description for @param
[javadoc] * @param validConsequences
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:316: warning: no @return
[javadoc] List<Pair<Expression, Integer>> getPossibleValidConsequences();
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:321: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:328: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:335: warning: no description for @param
[javadoc] * @param contract
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:346: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:353: warning: no description for @param
[javadoc] * @param value
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLFunction.java:360: warning: no description for @param
[javadoc] * @param value
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLSource.java:34: warning: no @return
[javadoc] String getLocation();
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLSource.java:39: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:104: warning: no description for @param
[javadoc] * @param rangeType
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:162: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:162: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:162: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:162: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:162: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:162: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:162: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:337: warning: no description for @param
[javadoc] * @param type
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:338: warning: no description for @param
[javadoc] * @param id
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/Fragment.java:97: error: tag not allowed here: <dt>
[javadoc] * the second fragment to be combined with <dt>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/Fragment.java:99: error: tag not allowed here: <dd>
[javadoc] * <dd>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/Model.java:27: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/Model.java:169: warning: no description for @param
[javadoc] * @param value
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/Model.java:209: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelBuilder.java:34: warning: no description for @param
[javadoc] * @param debugging
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelBuilder.java:35: warning: no description for @param
[javadoc] * @param debugOut
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:132: error: semicolon missing
[javadoc] * Returns a new address-of expression <code>(&e)</code> with given operand.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:160: error: malformed HTML
[javadoc] * A binary expression. One of {+,-,*,\,<,<=,==,!=,&&,||,%}
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:160: error: malformed HTML
[javadoc] * A binary expression. One of {+,-,*,\,<,<=,==,!=,&&,||,%}
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:160: error: bad HTML entity
[javadoc] * A binary expression. One of {+,-,*,\,<,<=,==,!=,&&,||,%}
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:160: error: bad HTML entity
[javadoc] * A binary expression. One of {+,-,*,\,<,<=,==,!=,&&,||,%}
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:196: warning: no description for @param
[javadoc] * @param expression
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:319: warning: no description for @param
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:320: warning: no description for @param
[javadoc] * @param function
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:327: warning: no description for @param
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:342: warning: no description for @param
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:343: warning: no description for @param
[javadoc] * @param variable
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:445: error: @param name not found
[javadoc] * @param boundVariableList
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:452: warning: no @param for variable
[javadoc] LambdaExpression lambdaExpression(CIVLSource source,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:458: warning: no description for @param
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:459: warning: no description for @param
[javadoc] * @param type
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:460: warning: no description for @param
[javadoc] * @param quant
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:461: warning: no description for @param
[javadoc] * @param lo
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:462: warning: no description for @param
[javadoc] * @param hi
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:463: warning: no description for @param
[javadoc] * @param function
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:464: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:485: error: bad use of '>'
[javadoc] * <code>(high-low)/step >= 0 </code>.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:504: error: malformed HTML
[javadoc] * the domain, and <code>ri (where 1 <= i <= m)</code> is a range expression
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:504: error: malformed HTML
[javadoc] * the domain, and <code>ri (where 1 <= i <= m)</code> is a range expression
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:634: warning: no description for @param
[javadoc] * @param callStatement
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:653: error: bad HTML entity
[javadoc] * <code>sysCall.isCall == true && sysCall.isSystemCall() == true</code>.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:653: error: bad HTML entity
[javadoc] * <code>sysCall.isCall == true && sysCall.isSystemCall() == true</code>.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:729: warning: no description for @param
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:730: warning: no description for @param
[javadoc] * @param function
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:731: warning: no description for @param
[javadoc] * @param degree
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:732: warning: no description for @param
[javadoc] * @param lowerBounds
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:733: warning: no description for @param
[javadoc] * @param upperBounds
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:734: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:873: warning: no description for @param
[javadoc] * @param domSize
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:920: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:944: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1023: error: reference not found
[javadoc] * {@link #noopStatement(CIVLSource, Location)}.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1265: error: @param name not found
[javadoc] * @param expressionNode
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1272: warning: no @param for startSource
[javadoc] Pair<Fragment, Expression> refineConditionalExpression(Scope scope,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1272: warning: no @param for endSource
[javadoc] Pair<Fragment, Expression> refineConditionalExpression(Scope scope,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1547: error: @param name not found
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1549: error: @param name not found
[javadoc] * @param scopeValue
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1576: error: @param name not found
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1630: error: @param name not found
[javadoc] * @param scope
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:103: error: reference not found
[javadoc] * {@link #function(CIVLSource, Identifier, List, CIVLType, Scope, Location)}. A
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/Scope.java:87: error: @param name not found
[javadoc] * @param A
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/Scope.java:202: error: @param name not found
[javadoc] * @param des
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/contract/FunctionBehavior.java:87: error: reference not found
[javadoc] * Precondition: {@link #numReadsClauses()}==0;
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/contract/FunctionBehavior.java:94: error: reference not found
[javadoc] * Precondition: {@link #numAssignsClauses()}==0;
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/contract/FunctionBehavior.java:101: error: bad HTML entity
[javadoc] * Precondition: {@link #numDependsEvents()}==0 && {@link #dependsAnyact()
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/contract/FunctionBehavior.java:101: error: bad HTML entity
[javadoc] * Precondition: {@link #numDependsEvents()}==0 && {@link #dependsAnyact()
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/contract/FunctionBehavior.java:109: error: ')' missing in reference
[javadoc] * Precondition: {@link #dependsNoact()==false};
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/contract/FunctionBehavior.java:130: error: @param name not found
[javadoc] * @param assigns
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/contract/FunctionBehavior.java:137: error: @param name not found
[javadoc] * @param reads
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/contract/FunctionBehavior.java:145: error: @param name not found
[javadoc] * @param depends
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/contract/FunctionBehavior.java:187: error: @param name not found
[javadoc] * @param subPrefix
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:134: error: semicolon missing
[javadoc] * an address-of expression. e.g., <code>(&a + &b)</code> returns
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:134: error: semicolon missing
[javadoc] * an address-of expression. e.g., <code>(&a + &b)</code> returns
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:146: error: semicolon missing
[javadoc] * e.g., <code>(&a + &b)</code> returns <code>{a, b}</code>.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:146: error: semicolon missing
[javadoc] * e.g., <code>(&a + &b)</code> returns <code>{a, b}</code>.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:180: error: malformed HTML
[javadoc] * e.g.: s<$here would return true.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:190: error: semicolon missing
[javadoc] * any error checking. e.g., &anon[0] which is used to translate array
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/AddressOfExpression.java:7: error: semicolon missing
[javadoc] * the format: <code>&x</code>, where <code>&</code> is the address-of operator
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/AddressOfExpression.java:7: error: bad HTML entity
[javadoc] * the format: <code>&x</code>, where <code>&</code> is the address-of operator
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:17: error: unknown tag: ui
[javadoc] * <ui> <li>AND: <code>&&</code> (logical and);</li> <li>LEFT_SHIFT:
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:17: error: tag not allowed here: <li>
[javadoc] * <ui> <li>AND: <code>&&</code> (logical and);</li> <li>LEFT_SHIFT:
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:17: error: bad HTML entity
[javadoc] * <ui> <li>AND: <code>&&</code> (logical and);</li> <li>LEFT_SHIFT:
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:17: error: bad HTML entity
[javadoc] * <ui> <li>AND: <code>&&</code> (logical and);</li> <li>LEFT_SHIFT:
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:17: error: tag not allowed here: <li>
[javadoc] * <ui> <li>AND: <code>&&</code> (logical and);</li> <li>LEFT_SHIFT:
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:18: error: malformed HTML
[javadoc] * <code><</code> (bitwise left shift);</li> <li>RIGHT_SHIFT:
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:18: error: tag not allowed here: <li>
[javadoc] * <code><</code> (bitwise left shift);</li> <li>RIGHT_SHIFT:
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:19: error: bad use of '>'
[javadoc] * <code>>></code> (bitwise right shift);</li> <li>BITAND: <code>&</code>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:19: error: bad use of '>'
[javadoc] * <code>>></code> (bitwise right shift);</li> <li>BITAND: <code>&</code>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:19: error: tag not allowed here: <li>
[javadoc] * <code>>></code> (bitwise right shift);</li> <li>BITAND: <code>&</code>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:19: error: bad HTML entity
[javadoc] * <code>>></code> (bitwise right shift);</li> <li>BITAND: <code>&</code>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.9/r4292/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:20: error: tag not allowed here: <li>
[javadoc] * (bitwise and);</li> <li>BITCOMPLEMENT: <code>~</code> (bitwise
[javadoc] ^
[javadoc] Building index for all the packages and classes...
[javadoc] Building index for all classes...
[javadoc] Generating /usa/svn/work/civl/1.9/r4292/doc/javadoc/help-doc.html...
[javadoc] 100 errors
[javadoc] 100 warnings
bench-compile:
[javac] Compiling 6 source files to /usa/svn/work/civl/1.9/r4292/bin
bench-scale-compile:
[javac] Compiling 5 source files to /usa/svn/work/civl/1.9/r4292/bin
all:
BUILD SUCCESSFUL
Total time: 15 minutes 17 seconds
Stderr:
[junit] Tests FAILED (timeout)