GMC trunk Revision 364

Path: .
Working Copy Root Path: /usa/svn/work/gmc/trunk/r364
URL: svn://vsl.cis.udel.edu/gmc/trunk
Relative URL: ^/trunk
Repository Root: svn://vsl.cis.udel.edu/gmc
Repository UUID: 6e9fb2d9-15d7-6d4b-b522-be9514ac623a
Revision: 364
Node Kind: directory
Schedule: normal
Last Changed Author: siegel
Last Changed Rev: 364
Last Changed Date: 2021-09-30 19:12:49 -0400 (Thu, 30 Sep 2021)

Buildfile: /usa/svn/work/gmc/trunk/r364/build.xml

compile:
    [mkdir] Created dir: /usa/svn/work/gmc/trunk/r364/bin
    [javac] Compiling 46 source files to /usa/svn/work/gmc/trunk/r364/bin
    [javac] Creating empty /usa/svn/work/gmc/trunk/r364/bin/edu/udel/cis/vsl/gmc/seq/package-info.class
    [javac] Creating empty /usa/svn/work/gmc/trunk/r364/bin/edu/udel/cis/vsl/gmc/util/package-info.class
    [javac] Creating empty /usa/svn/work/gmc/trunk/r364/bin/edu/udel/cis/vsl/gmc/package-info.class
    [javac] Creating empty /usa/svn/work/gmc/trunk/r364/bin/edu/udel/cis/vsl/gmc/concurrent/package-info.class
    [javac] Creating empty /usa/svn/work/gmc/trunk/r364/bin/edu/udel/cis/vsl/gmc/smc/package-info.class

jar:
      [jar] Building jar: /usa/svn/work/gmc/trunk/r364/gmc.jar

test-init:
    [mkdir] Created dir: /usa/svn/work/gmc/trunk/r364/junit
    [mkdir] Created dir: /usa/svn/work/gmc/trunk/r364/junit/data
    [mkdir] Created dir: /usa/svn/work/gmc/trunk/r364/junit/reports
    [mkdir] Created dir: /usa/svn/work/gmc/trunk/r364/bin-test

test-compile:
    [javac] Compiling 5 source files to /usa/svn/work/gmc/trunk/r364/bin-test

test-run:
[jacoco:coverage] Enhancing junit with coverage
    [junit] Testsuite: edu.udel.cis.vsl.gmc.GMCTest
    [junit] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.09 sec
    [junit] 
    [junit] Testsuite: edu.udel.cis.vsl.gmc.ParserTest
    [junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.033 sec
    [junit] 
    [junit] ------------- Standard Output ---------------
    [junit] -errBound=2
    [junit] -inputX=10
    [junit] -inputY=20
    [junit] foo.c
    [junit]   -errBound=INTEGER (default: 10)
    [junit]     bound on number of errors logged before quitting
    [junit]   -inputKEY=VALUE
    [junit]     specify initial value of input variable
    [junit]   -verbose or -verbose=BOOLEAN (default: false)
    [junit]     print verbose output
    [junit] ------------- ---------------- ---------------
    [junit] Testsuite: edu.udel.cis.vsl.gmc.smc.CoverageTest
    [junit] Tests run: 18, Failures: 2, Errors: 0, Skipped: 0, Time elapsed: 0.063 sec
    [junit] 
    [junit] ------------- Standard Output ---------------
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['@t1'=>State<2>]
    [junit] [-1]FinalState<2>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['@t1'=>State<2>]
    [junit] [2]FinalState<2>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [-1]FinalState<2>
    [junit] SourceState<2>
    [junit]  TraceStep:['t3'=>State<3>]
    [junit] [-1]FinalState<3>
    [junit] SourceState<3>
    [junit]  TraceStep:['@t4'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<4>]
    [junit] [-1]FinalState<4>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [2]FinalState<2>
    [junit] SourceState<2>
    [junit]  TraceStep:['t3'=>State<3>]
    [junit] [3]FinalState<3>
    [junit] SourceState<3>
    [junit]  TraceStep:['@t4'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<4>]
    [junit] [4]FinalState<4>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<4>]
    [junit] [-1]FinalState<4>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [2]FinalState<2>
    [junit] SourceState<2>
    [junit]  TraceStep:['t3'=>State<3>]
    [junit] [3]FinalState<3>
    [junit] SourceState<3>
    [junit]  TraceStep:['t4'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<4>]
    [junit] [4]FinalState<4>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<3>]
    [junit] [-1]FinalState<3>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [2]FinalState<2>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<3>]
    [junit] [3]FinalState<3>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['@t1'=>State<2>]
    [junit] [-1]FinalState<2>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<3>]
    [junit] [-1]FinalState<3>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['@t1'=>State<2>]
    [junit] [2]FinalState<2>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<3>]
    [junit] [-1]FinalState<3>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [2]FinalState<2>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<3>]
    [junit] [-1]FinalState<3>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<3>]
    [junit] [-1]FinalState<3>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [-1]FinalState<2>
    [junit] SourceState<2>
    [junit]  TraceStep:['t3'=>State<3>]
    [junit] [-1]FinalState<3>
    [junit] SourceState<3>
    [junit]  TraceStep:['t4'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [-1]FinalState<2>
    [junit] SourceState<2>
    [junit]  TraceStep:['t3'=>State<3>]
    [junit] [-1]FinalState<3>
    [junit] SourceState<3>
    [junit]  TraceStep:['t4'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<4>]
    [junit] [-1]FinalState<4>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [2]FinalState<2>
    [junit] SourceState<2>
    [junit]  TraceStep:['t3'=>State<3>]
    [junit] [3]FinalState<3>
    [junit] SourceState<3>
    [junit]  TraceStep:['t4'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t2'=>State<4>]
    [junit] [4]FinalState<4>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['@t2'=>State<4>]
    [junit] [-1]FinalState<4>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['@t1'=>State<2>]
    [junit] [2]FinalState<2>
    [junit] SourceState<2>
    [junit]  TraceStep:['t3'=>State<3>]
    [junit] [3]FinalState<3>
    [junit] SourceState<3>
    [junit]  TraceStep:['t4'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['@t2'=>State<4>]
    [junit] [4]FinalState<4>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [-1]FinalState<2>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] ------------- ---------------- ---------------
    [junit] Testcase: single_noAmple_noViolation(edu.udel.cis.vsl.gmc.smc.CoverageTest):	FAILED
    [junit] null
    [junit] junit.framework.AssertionFailedError
    [junit] 	at edu.udel.cis.vsl.gmc.seq.DfsSearcher.checkStackTrace(DfsSearcher.java:706)
    [junit] 	at edu.udel.cis.vsl.gmc.seq.DfsSearcher.expand(DfsSearcher.java:589)
    [junit] 	at edu.udel.cis.vsl.gmc.seq.DfsSearcher.proceedToNewState(DfsSearcher.java:641)
    [junit] 	at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:349)
    [junit] 	at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:315)
    [junit] 	at edu.udel.cis.vsl.gmc.smc.SMC.run(SMC.java:70)
    [junit] 	at edu.udel.cis.vsl.gmc.smc.SMC.run(SMC.java:94)
    [junit] 	at edu.udel.cis.vsl.gmc.smc.CoverageTest.checkAssertions(CoverageTest.java:65)
    [junit] 	at edu.udel.cis.vsl.gmc.smc.CoverageTest.single_noAmple_noViolation(CoverageTest.java:107)
    [junit] 	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    [junit] 	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
    [junit] 	at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    [junit] 
    [junit] 
    [junit] Testcase: basic_test(edu.udel.cis.vsl.gmc.smc.CoverageTest):	FAILED
    [junit] null
    [junit] junit.framework.AssertionFailedError
    [junit] 	at edu.udel.cis.vsl.gmc.seq.DfsSearcher.checkStackTrace(DfsSearcher.java:706)
    [junit] 	at edu.udel.cis.vsl.gmc.seq.DfsSearcher.expand(DfsSearcher.java:589)
    [junit] 	at edu.udel.cis.vsl.gmc.seq.DfsSearcher.proceedToNewState(DfsSearcher.java:641)
    [junit] 	at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:349)
    [junit] 	at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:315)
    [junit] 	at edu.udel.cis.vsl.gmc.smc.SMC.run(SMC.java:70)
    [junit] 	at edu.udel.cis.vsl.gmc.smc.SMC.run(SMC.java:94)
    [junit] 	at edu.udel.cis.vsl.gmc.smc.CoverageTest.checkAssertions(CoverageTest.java:65)
    [junit] 	at edu.udel.cis.vsl.gmc.smc.CoverageTest.basic_test(CoverageTest.java:99)
    [junit] 	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    [junit] 	at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
    [junit] 	at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
    [junit] 
    [junit] 
    [junit] TEST edu.udel.cis.vsl.gmc.smc.CoverageTest FAILED
    [junit] Testsuite: edu.udel.cis.vsl.gmc.smc.SimpleTest
    [junit] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 sec
    [junit] 
    [junit] ------------- Standard Output ---------------
    [junit] SourceState<0>
    [junit]  TraceStep:['t2'=>State<2>]
    [junit] [-1]FinalState<2>
    [junit] SourceState<2>
    [junit]  TraceStep:['t3'=>State<3>]
    [junit] [-1]FinalState<3>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<3>]
    [junit] [2]FinalState<3>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [-1]FinalState<2>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [-1]FinalState<2>
    [junit] SourceState<0>
    [junit]  TraceStep:['@t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] SourceState<1>
    [junit]  TraceStep:['t1'=>State<2>]
    [junit] [2]FinalState<2>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [-1]FinalState<1>
    [junit] SourceState<0>
    [junit]  TraceStep:['t0'=>State<1>]
    [junit] [1]FinalState<1>
    [junit] ------------- ---------------- ---------------
[junitreport] Processing /usa/svn/work/gmc/trunk/r364/junit/data/TESTS-TestSuites.xml to /tmp/null649852068
[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: 509ms
[junitreport] Deleting: /tmp/null649852068

test:
[jacoco:report] Loading execution data file /usa/svn/work/gmc/trunk/r364/jacoco.exec
[jacoco:report] Writing bundle 'Test Coverage Report for GMC trunk r364' with 41 classes

javadoc:
    [mkdir] Created dir: /usa/svn/work/gmc/trunk/r364/doc/javadoc
  [javadoc] Generating Javadoc
  [javadoc] Javadoc execution
  [javadoc] Loading source files for package edu.udel.cis.vsl.gmc...
  [javadoc] Loading source files for package edu.udel.cis.vsl.gmc.concurrent...
  [javadoc] Loading source files for package edu.udel.cis.vsl.gmc.seq...
  [javadoc] Loading source files for package edu.udel.cis.vsl.gmc.smc...
  [javadoc] Loading source files for package edu.udel.cis.vsl.gmc.util...
  [javadoc] Constructing Javadoc information...
  [javadoc] Standard Doclet version 1.8.0_292
  [javadoc] Building tree for all the packages and classes...
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/FalsePredicate.java:39: warning - @reutrn is an unknown tag.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/GMCSection.java:194: warning - @thros is an unknown tag.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/GMCSection.java:299: warning - @param argument "key" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/Simulator.java:26: warning - Tag @link: can't find writeStack(File) in edu.udel.cis.vsl.gmc.seq.DfsSearcher
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/Simulator.java:78: warning - @param argument "enabler" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/StatePredicateIF.java:29: warning - Tag @link: reference not found: holdsAt
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/StatePredicateIF.java:29: warning - Tag @link: reference not found: holdsAt
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/StatePredicateIF.java:29: warning - Tag @link: reference not found: holdsAt
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/TraceStepIF.java:16: warning - Tag @link: can't find nextState(STATE, TRANSITION) in edu.udel.cis.vsl.gmc.seq.StateManager
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:28: warning - @param argument "state" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:44: warning - @param argument "state" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:56: warning - @param argument "state" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNode.java:56: warning - @param argument "The" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:35: warning - Tag @link: reference not found: SequentialNode
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:35: warning - Tag @link: reference not found: SequentialNode
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:35: warning - Tag @link: reference not found: SequentialNode
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/concurrent/ConcurrentNodeFactory.java:67: warning - Tag @link: reference not found: SequentialNode
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/seq/SequentialNode.java:75: warning - @param argument "state" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/seq/SequentialNode.java:95: warning - @param argument "value" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/seq/SequentialNodeFactory.java:129: warning - @return tag has no arguments.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/seq/SequentialNodeFactory.java:58: warning - @param argument "state" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/seq/SequentialNodeFactory.java:110: warning - @param argument "full" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/seq/StateManager.java:77: warning - @param argument "state" is not a parameter name.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/seq/StateManager.java:77: warning - @return tag cannot be used in method with void return type.
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/StatePredicateIF.java:29: warning - Tag @link: reference not found: holdsAt
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/StatePredicateIF.java:29: warning - Tag @link: reference not found: holdsAt
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/StatePredicateIF.java:29: warning - Tag @link: reference not found: holdsAt
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/smc/SMCConstants.java:36: warning - Tag @link: reference not found: GMCConfiguration
  [javadoc] Building index for all the packages and classes...
  [javadoc] Building index for all classes...
  [javadoc] /usa/svn/work/gmc/trunk/r364/src/edu/udel/cis/vsl/gmc/StatePredicateIF.java:29: warning - Tag @link: reference not found: holdsAt
  [javadoc] Generating /usa/svn/work/gmc/trunk/r364/doc/javadoc/help-doc.html...
  [javadoc] javadoc: error - Error while reading file /usa/svn/work/gmc/trunk/r364/src/overview.html
  [javadoc] 1 error
  [javadoc] 29 warnings

all:

BUILD SUCCESSFUL
Total time: 6 seconds

    [junit] Tests FAILED