Path: . Working Copy Root Path: /usa/svn/work/civl/1.20/r5259 URL: svn://vsl.cis.udel.edu/civl/tags/1.20 Relative URL: ^/tags/1.20 Repository Root: svn://vsl.cis.udel.edu/civl Repository UUID: fb995dde-84ed-4084-dfe6-e5aef3e2452c Revision: 5259 Node Kind: directory Schedule: normal Last Changed Author: ziqing Last Changed Rev: 5259 Last Changed Date: 2019-09-27 18:18:01 -0400 (Fri, 27 Sep 2019)
Stdout:
Buildfile: /usa/svn/work/civl/1.20/r5259/build.xml
checkCommandParserChanges:
CommandParser:
[move] Moving 1 file to /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/run/common
[move] Moving 1 file to /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/run/common
[move] Moving 1 file to /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/run/common
[move] Moving 1 file to /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/run/common
compile:
[mkdir] Created dir: /usa/svn/work/civl/1.20/r5259/bin
[javac] Compiling 550 source files to /usa/svn/work/civl/1.20/r5259/bin
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/model/IF/expression/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/state/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/gui/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/gui/common/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/semantics/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/kripke/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/util/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/domain/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/model/IF/type/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/comm/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/pointer/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/model/IF/location/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/time/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/pthread/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/config/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/dynamic/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/civlc/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/log/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/common/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/model/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/model/IF/variable/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/seq/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/string/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/analysis/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/scope/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/model/IF/statement/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/predicate/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/library/bundle/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/slice/common/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/slice/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/run/IF/package-info.class
[javac] Creating empty /usa/svn/work/civl/1.20/r5259/bin/edu/udel/cis/vsl/civl/transform/IF/package-info.class
[copy] Copying 31 files to /usa/svn/work/civl/1.20/r5259/bin/include
jar:
[jar] Building jar: /usa/svn/work/civl/1.20/r5259/civl.jar
test-init:
[mkdir] Created dir: /usa/svn/work/civl/1.20/r5259/junit
[mkdir] Created dir: /usa/svn/work/civl/1.20/r5259/junit/data
[mkdir] Created dir: /usa/svn/work/civl/1.20/r5259/junit/reports
[mkdir] Created dir: /usa/svn/work/civl/1.20/r5259/bin-test/regress
test-compile:
[javac] Compiling 46 source files to /usa/svn/work/civl/1.20/r5259/bin-test/regress
test-run:
[jacoco:coverage] Enhancing junit with coverage
[junit] Testsuite: edu.udel.cis.vsl.civl.AcfInterfaceTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 4.591 sec
[junit]
[junit] ------------- Standard Output ---------------
[junit] CIVL v1.20 of 2019-09-27 -- http://vsl.cis.udel.edu/civl
[junit] CIVL v1.20 of 2019-09-27 -- http://vsl.cis.udel.edu/civl
[junit] ------------- ---------------- ---------------
[junit] Testsuite: edu.udel.cis.vsl.civl.AnalysisTest
[junit] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.018 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ArithmeticTest
[junit] Tests run: 27, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 10.762 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ArrayLambdaTest
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.657 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.BackendTest
[junit] Tests run: 19, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.519 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.CompareTest
[junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 99.405 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ConcurrencyTest
[junit] Tests run: 35, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 14.835 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.LanguageFeaturesTest
[junit] Tests run: 152, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 24.245 sec
[junit]
[junit] ------------- Standard Error -----------------
[junit] Warning: ignoring a division by zero
[junit] ------------- ---------------- ---------------
[junit] Testsuite: edu.udel.cis.vsl.civl.LibraryTest
[junit] Tests run: 72, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 11.647 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ModelBuilderTest
[junit] Tests run: 17, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.152 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.PORTest
[junit] Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.018 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.QuietOptionTest
[junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.274 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ReadWriteSetTest
[junit] Tests run: 16, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.377 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ReasoningTest
[junit] Tests run: 10, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.058 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.ReplayTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.118 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.RobustnessTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.058 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.ShowStatesTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.116 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.SimpleMPITest
[junit] Tests run: 23, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 48.201 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.SpecialStatementsTest
[junit] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.38 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.SvcompTest
[junit] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.186 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.TicketsFixTest
[junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 61.537 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.VerifyThisTest
[junit] Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 39.241 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.fortran.ProvesaMXMTest
[junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.05 sec
[junit]
[junit] ------------- Standard Error -----------------
[junit] java.lang.instrument.IllegalClassFormatException: Error while instrumenting edu/udel/cis/vsl/abc/front/fortran/parse/MFortranParser2018.
[junit] at org.jacoco.agent.rt.internal_290345e.CoverageTransformer.transform(CoverageTransformer.java:93)
[junit] at sun.instrument.TransformerManager.transform(TransformerManager.java:188)
[junit] at sun.instrument.InstrumentationImpl.transform(InstrumentationImpl.java:428)
[junit] at java.lang.ClassLoader.defineClass1(Native Method)
[junit] at java.lang.ClassLoader.defineClass(ClassLoader.java:763)
[junit] at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142)
[junit] at java.net.URLClassLoader.defineClass(URLClassLoader.java:467)
[junit] at java.net.URLClassLoader.access$100(URLClassLoader.java:73)
[junit] at java.net.URLClassLoader$1.run(URLClassLoader.java:368)
[junit] at java.net.URLClassLoader$1.run(URLClassLoader.java:362)
[junit] at java.security.AccessController.doPrivileged(Native Method)
[junit] at java.net.URLClassLoader.findClass(URLClassLoader.java:361)
[junit] at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
[junit] at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:349)
[junit] at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
[junit] at edu.udel.cis.vsl.abc.front.fortran.parse.MFParser.parse(MFParser.java:30)
[junit] at edu.udel.cis.vsl.abc.main.ABCExecutor.executeUnit(ABCExecutor.java:571)
[junit] at edu.udel.cis.vsl.abc.main.ABCExecutor.execute(ABCExecutor.java:645)
[junit] at edu.udel.cis.vsl.civl.run.IF.ModelTranslator.buildProgram(ModelTranslator.java:304)
[junit] at edu.udel.cis.vsl.civl.run.IF.ModelTranslator.translate(ModelTranslator.java:397)
[junit] at edu.udel.cis.vsl.civl.run.IF.UserInterface.runVerify(UserInterface.java:683)
[junit] at edu.udel.cis.vsl.civl.run.IF.UserInterface.runNormalCommand(UserInterface.java:306)
[junit] at edu.udel.cis.vsl.civl.run.IF.UserInterface.runMain(UserInterface.java:527)
[junit] at edu.udel.cis.vsl.civl.run.IF.UserInterface.run(UserInterface.java:198)
[junit] at edu.udel.cis.vsl.civl.fortran.ProvesaMXMTest.verify_ex1a(ProvesaMXMTest.java:25)
[junit] at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[junit] at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[junit] at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[junit] at java.lang.reflect.Method.invoke(Method.java:498)
[junit] at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:47)
[junit] at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
[junit] at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:44)
[junit] at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
[junit] at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:271)
[junit] at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:70)
[junit] at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:50)
[junit] at org.junit.runners.ParentRunner$3.run(ParentRunner.java:238)
[junit] at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:63)
[junit] at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:236)
[junit] at org.junit.runners.ParentRunner.access$000(ParentRunner.java:53)
[junit] at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:229)
[junit] at org.junit.runners.ParentRunner.run(ParentRunner.java:309)
[junit] at junit.framework.JUnit4TestAdapter.run(JUnit4TestAdapter.java:38)
[junit] at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.run(JUnitTestRunner.java:534)
[junit] at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.launch(JUnitTestRunner.java:1196)
[junit] at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.main(JUnitTestRunner.java:1014)
[junit] Caused by: java.io.IOException: Error while instrumenting edu/udel/cis/vsl/abc/front/fortran/parse/MFortranParser2018.
[junit] at org.jacoco.agent.rt.internal_290345e.core.instr.Instrumenter.instrumentError(Instrumenter.java:160)
[junit] at org.jacoco.agent.rt.internal_290345e.core.instr.Instrumenter.instrument(Instrumenter.java:110)
[junit] at org.jacoco.agent.rt.internal_290345e.CoverageTransformer.transform(CoverageTransformer.java:91)
[junit] ... 45 more
[junit] Caused by: java.lang.RuntimeException: Method code too large!
[junit] at org.jacoco.agent.rt.internal_290345e.asm.MethodWriter.getSize(MethodWriter.java:2059)
[junit] at org.jacoco.agent.rt.internal_290345e.asm.ClassWriter.toByteArray(ClassWriter.java:861)
[junit] at org.jacoco.agent.rt.internal_290345e.core.instr.Instrumenter.instrument(Instrumenter.java:91)
[junit] at org.jacoco.agent.rt.internal_290345e.core.instr.Instrumenter.instrument(Instrumenter.java:108)
[junit] ... 46 more
[junit] ------------- ---------------- ---------------
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.ACSLTransformTest
[junit] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.543 sec
[junit]
[junit] ------------- Standard Error -----------------
[junit] UnsatisfiablePathConditionException thrown during interpretation of logic function:eq
[junit] ------------- ---------------- ---------------
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.CompareTest
[junit] Tests run: 15, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 61.607 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.civl.transform.ContractTest
[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:diff1dIter_requires_bad: 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.20/r5259/junit/data/TESTS-TestSuites.xml to /tmp/null1467725079
[junitreport] Loading stylesheet jar:file:/usr/share/ant/lib/ant-junit.jar!/org/apache/tools/ant/taskdefs/optional/junit/xsl/junit-frames.xsl
[junitreport] Transform time: 1084ms
[junitreport] Deleting: /tmp/null1467725079
test:
[jacoco:report] Loading execution data file /usa/svn/work/civl/1.20/r5259/jacoco.exec
[jacoco:report] Writing bundle 'Test Coverage Report for CIVL 1.20 r5259 Regression Suite' with 576 classes
javadoc:
[mkdir] Created dir: /usa/svn/work/civl/1.20/r5259/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_181
[javadoc] Building tree for all the packages and classes...
[javadoc] /usa/svn/work/civl/1.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/src/edu/udel/cis/vsl/civl/config/IF/CIVLConfiguration.java:794: warning: no @return
[javadoc] public int getProcBound() {
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicMemoryLocationSet.java:70: warning: no description for @param
[javadoc] * @param operator
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicMemoryLocationSet.java:36: error: reference not found
[javadoc] * {@link ImmutableStateFactory#deallocate(edu.udel.cis.vsl.civl.state.IF.State, SymbolicExpression, int, int, int)}
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicMemoryLocationSet.java:38: error: tag not allowed here: <br>
[javadoc] * <li>executeMalloc and malloc in {@link CommonExecutor}</li> <br>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicMemoryLocationSet.java:38: error: text not allowed in <ul> element
[javadoc] * <li>executeMalloc and malloc in {@link CommonExecutor}</li> <br>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicMemoryLocationSet.java:50: error: unexpected end tag: </p>
[javadoc] * </p>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicMemoryLocationSet.java:54: warning - Tag @link: can't find deallocate(edu.udel.cis.vsl.civl.state.IF.State, SymbolicExpression, int, int, int) in edu.udel.cis.vsl.civl.state.common.immutable.ImmutableStateFactory
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/DynamicMemoryLocationSetFactory.java:23: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/Dynamics.java:28: warning: no @param for stateFactory
[javadoc] public static SymbolicUtility newSymbolicUtility(SymbolicUniverse universe,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:328: error: reference not found
[javadoc] * {@link #isPointerToHeap(heapPointer)} must returns true.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:381: error: semicolon missing
[javadoc] * pointer. For example, given a pointer &a[5] and a reference [0], the
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:382: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:629: error: tag not allowed here: <li>
[javadoc] * <li>length(array_extents) > 0</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:629: error: bad use of '>'
[javadoc] * <li>length(array_extents) > 0</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:630: error: unexpected end tag: </p>
[javadoc] * </p>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:639: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:641: error: exception not thrown: edu.udel.cis.vsl.civl.state.IF.UnsatisfiablePathConditionException
[javadoc] * @throws UnsatisfiablePathConditionException
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:641: warning: no description for @throws
[javadoc] * @throws UnsatisfiablePathConditionException
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:719: warning: no description for @param
[javadoc] * @param domain
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:727: warning: no description for @param
[javadoc] * @param range
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:737: warning: no description for @param
[javadoc] * @param domain
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:738: warning: no description for @param
[javadoc] * @param index
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:749: warning: no description for @param
[javadoc] * @param range
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:759: warning: no description for @param
[javadoc] * @param range
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:770: warning: no description for @param
[javadoc] * @param range
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:778: warning: no description for @param
[javadoc] * @param domain
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:785: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:785: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:785: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:785: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:785: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:785: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:785: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:786: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:786: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:786: 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.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:788: warning: no description for @param
[javadoc] * @param cnfClause
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:796: warning: no description for @param
[javadoc] * @param function
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:797: error: @param name not found
[javadoc] * @param arguments
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:797: warning: no description for @param
[javadoc] * @param arguments
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:798: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:800: warning: no @param for library
[javadoc] SymbolicExpression getAbstractGuardOfFunctionCall(String library,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:800: warning: no @param for argumentValues
[javadoc] SymbolicExpression getAbstractGuardOfFunctionCall(String library,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:810: warning: no description for @param
[javadoc] * @param originalFunction
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:811: warning: no description for @param
[javadoc] * @param argument
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:812: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:824: warning: no description for @param
[javadoc] * @param range
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:825: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:827: warning: no @param for reasoner
[javadoc] BitSet range2BitSet(SymbolicExpression range, Reasoner reasoner);
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:839: warning: no description for @param
[javadoc] * @param pointer
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:840: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/dynamic/IF/SymbolicUtility.java:331: warning - Tag @link: can't find isPointerToHeap(heapPointer) in edu.udel.cis.vsl.civl.dynamic.IF.SymbolicUtility
[javadoc] /usa/svn/work/civl/1.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/src/edu/udel/cis/vsl/civl/kripke/IF/Kripkes.java:43: warning: no @param for executor
[javadoc] public static Enabler newEnabler(StateFactory stateFactory,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/kripke/IF/Kripkes.java:43: warning: no @param for gmcConfig
[javadoc] public static Enabler newEnabler(StateFactory stateFactory,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/src/edu/udel/cis/vsl/civl/kripke/IF/TraceStep.java:58: error: unknown tag: returns
[javadoc] * @returns the final state of this trace step. If the final state has not
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/src/edu/udel/cis/vsl/civl/log/IF/CIVLExecutionException.java:47: error: @param name not found
[javadoc] * @param stateString
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/log/IF/CIVLExecutionException.java:53: warning: no @param for state
[javadoc] public CIVLExecutionException(ErrorKind kind, Certainty certainty,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLSource.java:34: warning: no @return
[javadoc] String getLocation();
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLSource.java:42: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:114: warning: no description for @param
[javadoc] * @param rangeType
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:172: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:172: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:172: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:172: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:172: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:172: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:172: error: bad use of '>'
[javadoc] * Create a new location. ======= Get the integer primitive type. >>>>>>>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:375: warning: no description for @param
[javadoc] * @param type
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:376: warning: no description for @param
[javadoc] * @param id
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:455: error: @param name not found
[javadoc] * @param universe
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:457: error: @param name not found
[javadoc] * @param the
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:461: warning: no @param for dynamicType
[javadoc] NumericExpression sizeofDynamicType(SymbolicType dynamicType);
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:497: error: @param name not found
[javadoc] * @param expr
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/CIVLTypeFactory.java:503: warning: no @param for typeId
[javadoc] CIVLType getStaticTypeOfDynamicType(SymbolicExpression typeId);
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:130: error: semicolon missing
[javadoc] * Returns a new address-of expression <code>(&e)</code> with given operand.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:158: error: malformed HTML
[javadoc] * A binary expression. One of {+,-,*,\,<,<=,==,!=,&&,||,%}
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:158: error: malformed HTML
[javadoc] * A binary expression. One of {+,-,*,\,<,<=,==,!=,&&,||,%}
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:158: error: bad HTML entity
[javadoc] * A binary expression. One of {+,-,*,\,<,<=,==,!=,&&,||,%}
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:158: error: bad HTML entity
[javadoc] * A binary expression. One of {+,-,*,\,<,<=,==,!=,&&,||,%}
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:194: warning: no description for @param
[javadoc] * @param expression
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:212: warning: no description for @param
[javadoc] * @param expression
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:226: warning: no description for @param
[javadoc] * @param expression
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:350: warning: no description for @param
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:351: warning: no description for @param
[javadoc] * @param function
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:358: warning: no description for @param
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:373: warning: no description for @param
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:374: warning: no description for @param
[javadoc] * @param variable
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:474: error: @param name not found
[javadoc] * @param boundVariableList
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:481: warning: no @param for variable
[javadoc] LambdaExpression lambdaExpression(CIVLSource source,
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:487: warning: no description for @param
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:488: warning: no description for @param
[javadoc] * @param type
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:489: warning: no description for @param
[javadoc] * @param quant
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:490: warning: no description for @param
[javadoc] * @param lo
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:491: warning: no description for @param
[javadoc] * @param hi
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:492: warning: no description for @param
[javadoc] * @param function
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:493: warning: no description for @return
[javadoc] * @return
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:514: error: bad use of '>'
[javadoc] * <code>(high-low)/step >= 0 </code>.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:533: 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.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:533: 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.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:649: warning: no description for @param
[javadoc] * @param callStatement
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:668: error: bad HTML entity
[javadoc] * <code>sysCall.isCall == true && sysCall.isSystemCall() == true</code>.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:668: error: bad HTML entity
[javadoc] * <code>sysCall.isCall == true && sysCall.isSystemCall() == true</code>.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:744: warning: no description for @param
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:745: warning: no description for @param
[javadoc] * @param function
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:746: warning: no description for @param
[javadoc] * @param degree
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1061: error: reference not found
[javadoc] * {@link #noopStatement(CIVLSource, Location)}.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1494: error: @param name not found
[javadoc] * @param source
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:1548: error: @param name not found
[javadoc] * @param scope
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/ModelFactory.java:101: error: reference not found
[javadoc] * {@link #function(CIVLSource, Identifier, List, CIVLType, Scope, Location)}. A
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/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.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/Scope.java:213: error: @param name not found
[javadoc] * @param des
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/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.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:147: error: semicolon missing
[javadoc] * an address-of expression. e.g., <code>(&a + &b)</code> returns
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:147: error: semicolon missing
[javadoc] * an address-of expression. e.g., <code>(&a + &b)</code> returns
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:159: error: semicolon missing
[javadoc] * e.g., <code>(&a + &b)</code> returns <code>{a, b}</code>.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:159: error: semicolon missing
[javadoc] * e.g., <code>(&a + &b)</code> returns <code>{a, b}</code>.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:193: error: malformed HTML
[javadoc] * e.g.: s<$here would return true.
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/Expression.java:203: error: semicolon missing
[javadoc] * any error checking. e.g., &anon[0] which is used to translate array
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/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.20/r5259/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.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:17: error: unknown tag: ui
[javadoc] * <ui>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:18: error: tag not allowed here: <li>
[javadoc] * <li>AND: <code>&&</code> (logical and);</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:18: error: bad HTML entity
[javadoc] * <li>AND: <code>&&</code> (logical and);</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:18: error: bad HTML entity
[javadoc] * <li>AND: <code>&&</code> (logical and);</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:19: error: tag not allowed here: <li>
[javadoc] * <li>LEFT_SHIFT: <code><</code> (bitwise left shift);</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:19: error: malformed HTML
[javadoc] * <li>LEFT_SHIFT: <code><</code> (bitwise left shift);</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:20: error: tag not allowed here: <li>
[javadoc] * <li>RIGHT_SHIFT: <code>>></code> (bitwise right shift);</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:20: error: bad use of '>'
[javadoc] * <li>RIGHT_SHIFT: <code>>></code> (bitwise right shift);</li>
[javadoc] ^
[javadoc] /usa/svn/work/civl/1.20/r5259/src/edu/udel/cis/vsl/civl/model/IF/expression/BinaryExpression.java:20: error: bad use of '>'
[javadoc] * <li>RIGHT_SHIFT: <code>>></code> (bitwise right shift);</li>
[javadoc] ^
[javadoc] Building index for all the packages and classes...
[javadoc] Building index for all classes...
[javadoc] Generating /usa/svn/work/civl/1.20/r5259/doc/javadoc/help-doc.html...
[javadoc] 100 errors
[javadoc] 100 warnings
bench-compile:
[javac] Compiling 6 source files to /usa/svn/work/civl/1.20/r5259/bin
bench-scale-compile:
[javac] Compiling 5 source files to /usa/svn/work/civl/1.20/r5259/bin
all:
BUILD SUCCESSFUL
Total time: 15 minutes 23 seconds
Stderr:
[junit] Tests FAILED (timeout)