Path: . Working Copy Root Path: /usa/svn/work/gmc/trunk/r360 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: 360 Node Kind: directory Schedule: normal Last Changed Author: siegel Last Changed Rev: 360 Last Changed Date: 2020-11-14 15:48:40 -0500 (Sat, 14 Nov 2020)
Stdout:
Buildfile: /usa/svn/work/gmc/trunk/r360/build.xml
compile:
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r360/bin
[javac] Compiling 46 source files to /usa/svn/work/gmc/trunk/r360/bin
[javac] Support for javac --release has been added in Java9 ignoring it
[javac] Creating empty /usa/svn/work/gmc/trunk/r360/bin/edu/udel/cis/vsl/gmc/seq/package-info.class
[javac] Creating empty /usa/svn/work/gmc/trunk/r360/bin/edu/udel/cis/vsl/gmc/util/package-info.class
[javac] Creating empty /usa/svn/work/gmc/trunk/r360/bin/edu/udel/cis/vsl/gmc/package-info.class
[javac] Creating empty /usa/svn/work/gmc/trunk/r360/bin/edu/udel/cis/vsl/gmc/concurrent/package-info.class
[javac] Creating empty /usa/svn/work/gmc/trunk/r360/bin/edu/udel/cis/vsl/gmc/smc/package-info.class
jar:
[jar] Building jar: /usa/svn/work/gmc/trunk/r360/gmc.jar
test-init:
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r360/junit
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r360/junit/data
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r360/junit/reports
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r360/bin-test
test-compile:
[javac] Compiling 5 source files to /usa/svn/work/gmc/trunk/r360/bin-test
[javac] Support for javac --release has been added in Java9 ignoring it
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: 1.743 sec
[junit]
[junit] Testsuite: edu.udel.cis.vsl.gmc.ParserTest
[junit] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.079 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.844 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:['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<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<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<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:['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:['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:['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<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:['@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:['@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:['@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:['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:516)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.proceedToNewState(DfsSearcher.java:451)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:331)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:297)
[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]
[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:516)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.proceedToNewState(DfsSearcher.java:451)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:331)
[junit] at edu.udel.cis.vsl.gmc.seq.DfsSearcher.search(DfsSearcher.java:297)
[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]
[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.011 sec
[junit]
[junit] ------------- Standard Output ---------------
[junit] SourceState<0>
[junit] TraceStep:['t0'=>State<1>]
[junit] [-1]FinalState<1>
[junit] SourceState<1>
[junit] TraceStep:['t1'=>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/r360/junit/data/TESTS-TestSuites.xml to /tmp/null1299313016
[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: 2582ms
[junitreport] Deleting: /tmp/null1299313016
test:
[jacoco:report] Loading execution data file /usa/svn/work/gmc/trunk/r360/jacoco.exec
[jacoco:report] Writing bundle 'Test Coverage Report for GMC trunk r360' with 43 classes
javadoc:
[mkdir] Created dir: /usa/svn/work/gmc/trunk/r360/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_181
[javadoc] Building tree for all the packages and classes...
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/package-info.java:15: error: text not allowed in <ul> element
[javadoc] * <li><strong>Trace</strong></li> represents a trace of an execution of a given
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/ErrorLog.java:373: warning: no @param for entry
[javadoc] public void report(LogEntry entry) throws FileNotFoundException {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/ErrorLog.java:373: warning: no @throws for java.io.FileNotFoundException
[javadoc] public void report(LogEntry entry) throws FileNotFoundException {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/FalsePredicate.java:37: error: unknown tag: reutrn
[javadoc] * @reutrn "FalsePredicate"
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/StatePredicateIF.java:29: warning: no @return
[javadoc] String explanation();
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:42: error: malformed HTML
[javadoc] * An option of MAP type may be assigned a value of type Map<String,Object>.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GMCConfiguration.java:42: error: bad use of '>'
[javadoc] * An option of MAP type may be assigned a value of type Map<String,Object>.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GMCSection.java:191: error: unknown tag: thros
[javadoc] * @thros IllegalArgumentException if the given option does not have map
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GMCSection.java:286: error: @param name not found
[javadoc] * @param key
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GMCSection.java:299: warning: no @param for option
[javadoc] public Object setScalarValue(Option option, Object value) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GMCSection.java:46: error: malformed HTML
[javadoc] * An option of MAP type may be assigned a value of type Map<String,Object>.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GMCSection.java:46: error: bad use of '>'
[javadoc] * An option of MAP type may be assigned a value of type Map<String,Object>.
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.java:92: warning: no description for @throws
[javadoc] * @throws MisguidedExecutionException
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.java:172: warning: no description for @throws
[javadoc] * @throws MisguidedExecutionException
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.java:25: warning: no description for @param
[javadoc] * @param <STATE>
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/GuidedTransitionChooser.java:26: warning: no description for @param
[javadoc] * @param <TRANSITION>
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/LogEntry.java:41: warning: no @param for configuration
[javadoc] public LogEntry(GMCConfiguration configuration) {
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/Simulator.java:191: warning: no description for @throws
[javadoc] * @throws MisguidedExecutionException
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/src/edu/udel/cis/vsl/gmc/Simulator.java:16: error: reference not found
[javadoc] * {@link DfsSearcher#writeStack(File)}. Or, it could be used to perform a
[javadoc] ^
[javadoc] /usa/svn/work/gmc/trunk/r360/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/r360/src/edu/udel/cis/vsl/gmc/Simulator.java:68: error: @param name not found
[javadoc] * @param enabler
[javadoc] ^
[javadoc] Generating /usa/svn/work/gmc/trunk/r360/doc/javadoc/edu/udel/cis/vsl/gmc/TraceStepIF.html...
[javadoc] 11 errors
[javadoc] 11 warnings
[javadoc] javadoc: error - fuzzyMatcher TYPEVAR
all:
BUILD SUCCESSFUL
Total time: 56 seconds
Stderr:
[junit] Tests FAILED