make pat-daikon-tests-text-diff
make[1]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests'
make -C daikon-tests text-diff
make[2]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests'
make default-projects-text-diff
make[3]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/StackAr'

### inv (StackAr)

Number of lines in dtrace file(s):
 229225

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o StackAr.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/StackAr -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/StackAr -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f StackAr.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = StackAr.inv.gz
Reading declaration files .
Reading data trace files .:
No return from procedure observed 1 times.
Unterminated calls:
1 instance of:
  DataStructures.StackAr.push(Ljava/lang/Object;)V
    2080403, DataStructures.StackAr, 2080403, 1630127, [Ljava.lang.Object;, [J@764be1, [Ljava.lang.String;@6fd0b7, -1

End of report for procedures not returned from.

Read 1 declaration file, 0 spinfo files, 1 dtrace file
DataStructures.StackAr:::OBJECT......0.3s
DataStructures.StackAr.<init>(I)V:::ENTER......0s
DataStructures.StackAr.<init>(I)V:::EXIT33......0s
DataStructures.StackAr.isEmpty()Z:::ENTER......0.1s
DataStructures.StackAr.isEmpty()Z:::EXIT41......0.3s
DataStructures.StackAr.isFull()Z:::ENTER......0.1s
DataStructures.StackAr.isFull()Z:::EXIT50......0.3s
DataStructures.StackAr.makeEmpty()V:::ENTER......0s
DataStructures.StackAr.makeEmpty()V:::EXIT61......0s
DataStructures.StackAr.pop()V:::ENTER......0s
DataStructures.StackAr.pop()V:::EXIT84......0.1s
DataStructures.StackAr.push(Ljava/lang/Object;)V:::ENTER......0.1s
DataStructures.StackAr.push(Ljava/lang/Object;)V:::EXIT96......0.4s
DataStructures.StackAr.top()Ljava/lang/Object;:::ENTER......0.1s
DataStructures.StackAr.top()Ljava/lang/Object;:::EXIT71......0s
DataStructures.StackAr.top()Ljava/lang/Object;:::EXIT72......0.1s
DataStructures.StackAr.top()Ljava/lang/Object;:::EXIT......0.1s
DataStructures.StackAr.topAndPop()Ljava/lang/Object;:::ENTER......0s
DataStructures.StackAr.topAndPop()Ljava/lang/Object;:::EXIT105......0s
DataStructures.StackAr.topAndPop()Ljava/lang/Object;:::EXIT108......0.1s
DataStructures.StackAr.topAndPop()Ljava/lang/Object;:::EXIT......0.3s
Invoking Simplify to identify redundant invariants........................2.3s
Exiting

### txt-daikon (StackAr)

rm -f StackAr.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant StackAr.inv.gz &> StackAr.txt-daikon) || (mv StackAr.txt-daikon StackAr.txt-daikon-failed && false)

### textual diff (StackAr)

rm -f StackAr.txt-daikon.diff
diff -bu StackAr.txt-daikon.goal StackAr.txt-daikon > StackAr.txt-daikon.diff
cat StackAr.txt-daikon.diff

### txt-esc (StackAr)

rm -f StackAr.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant StackAr.inv.gz &> StackAr.txt-esc) || (mv StackAr.txt-esc StackAr.txt-esc-failed && false)

### textual diff (StackAr)

rm -f StackAr.txt-esc.diff
diff -bu StackAr.txt-esc.goal StackAr.txt-esc > StackAr.txt-esc.diff
cat StackAr.txt-esc.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/StackAr'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/QueueAr'

### inv (QueueAr)

Number of lines in dtrace file(s):
1232777

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o QueueAr.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	--ppt "^DataStructures\.QueueAr[:\.]" --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/QueueAr -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/QueueAr -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f QueueAr.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = QueueAr.inv.gz
Reading declaration files ......
Reading data trace files .:::
Read 6 declaration files, 0 spinfo files, 1 dtrace file
DataStructures.QueueAr:::OBJECT......0.9s
DataStructures.QueueAr.<init>(I)V:::ENTER......0s
DataStructures.QueueAr.<init>(I)V:::EXIT36......0s
DataStructures.QueueAr.dequeue()Ljava/lang/Object;:::ENTER......0.3s
DataStructures.QueueAr.dequeue()Ljava/lang/Object;:::EXIT93...Internal Daikon error: Variables not equal: this.theArray[orig(this.front)+1..] (= this.theArray[orig(this.front)+1..]), orig(this.theArray[this.front+1..]) (= this.theArray[this.front..]) [indices 46, 46, 73, 28] at DataStructures.QueueAr.dequeue()Ljava/lang/Object;:::EXIT93
...1.6s
DataStructures.QueueAr.dequeue()Ljava/lang/Object;:::EXIT...Internal Daikon error: Variables not equal: this.theArray[orig(this.front)+1..] (= this.theArray[orig(this.front)+1..]), orig(this.theArray[this.front+1..]) (= this.theArray[this.front..]) [indices 46, 46, 73, 28] at DataStructures.QueueAr.dequeue()Ljava/lang/Object;:::EXIT
...1.4s
DataStructures.QueueAr.enqueue(Ljava/lang/Object;)V:::ENTER......0.3s
DataStructures.QueueAr.enqueue(Ljava/lang/Object;)V:::EXIT109......1.4s
DataStructures.QueueAr.getFront()Ljava/lang/Object;:::ENTER......0.4s
DataStructures.QueueAr.getFront()Ljava/lang/Object;:::EXIT75......0.1s
DataStructures.QueueAr.getFront()Ljava/lang/Object;:::EXIT76......0.5s
DataStructures.QueueAr.getFront()Ljava/lang/Object;:::EXIT......0.5s
DataStructures.QueueAr.isEmpty()Z:::ENTER......0.4s
DataStructures.QueueAr.isEmpty()Z:::EXIT44......1.4s
DataStructures.QueueAr.isFull()Z:::ENTER......0.4s
DataStructures.QueueAr.isFull()Z:::EXIT53......1s
DataStructures.QueueAr.makeEmpty()V:::ENTER......0.1s
DataStructures.QueueAr.makeEmpty()V:::EXIT65......0.3s
Invoking Simplify to identify redundant invariants..................................................................4.5s
Exiting

### txt-daikon (QueueAr)

rm -f QueueAr.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant QueueAr.inv.gz &> QueueAr.txt-daikon) || (mv QueueAr.txt-daikon QueueAr.txt-daikon-failed && false)

### textual diff (QueueAr)

rm -f QueueAr.txt-daikon.diff
diff -bu QueueAr.txt-daikon.goal QueueAr.txt-daikon > QueueAr.txt-daikon.diff
make[4]: [QueueAr.txt-daikon.diff] Error 1 (ignored)
cat QueueAr.txt-daikon.diff
--- QueueAr.txt-daikon.goal	Sun Mar 17 16:16:58 2002
+++ QueueAr.txt-daikon	Thu Mar 21 13:45:52 2002
@@ -30,7 +30,6 @@
 return == orig(this.theArray[this.front])
 this.theArray == orig(this.theArray)
 this.back == orig(this.back)
-this.theArray[this.front..] == orig(this.theArray[this.front+1..])
 this.theArray[orig(this.front)+1..] == orig(this.theArray[post(this.front)..])
 this.theArray[0..orig(this.front)-1] == orig(this.theArray[0..this.front-1])
 this.theArray[orig(this.front)] == null

### txt-esc (QueueAr)

rm -f QueueAr.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant QueueAr.inv.gz &> QueueAr.txt-esc) || (mv QueueAr.txt-esc QueueAr.txt-esc-failed && false)

### textual diff (QueueAr)

rm -f QueueAr.txt-esc.diff
diff -bu QueueAr.txt-esc.goal QueueAr.txt-esc > QueueAr.txt-esc.diff
make[4]: [QueueAr.txt-esc.diff] Error 1 (ignored)
cat QueueAr.txt-esc.diff
--- QueueAr.txt-esc.goal	Sun Mar 17 16:16:58 2002
+++ QueueAr.txt-esc	Thu Mar 21 13:45:55 2002
@@ -35,7 +35,6 @@
       Unmodified variables: this this.theArray this.theArray.class this.back size(this.theArray[])
 modifies this.theArray[*], this.currentSize, this.front
 \result == \old(this.theArray[this.front])
-(\forall int i, j; (this.front <= i && i <= this.theArray.length-1 && \old(this.front+1) <= j && j <= \old(this.theArray.length-1) && (i-(this.front)) == (j-(\old(this.front+1)))) ==> ( this.theArray[i] == \old(this.theArray[j]) ))
 (\forall int i, j; (\old(this.front)+1 <= i && i <= this.theArray.length-1 && this.front <= j && j <= \old(this.theArray.length-1) && (i-(\old(this.front)+1)) == (j-(this.front))) ==> ( this.theArray[i] == \old(this.theArray[j]) ))
 (\forall int i, j; (0 <= i && i <= \old(this.front)-1 && 0 <= j && j <= \old(this.front-1) && i == j) ==> ( this.theArray[i] == \old(this.theArray[j]) ))
 this.theArray[\old(this.front)] == null
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/QueueAr'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/DisjSets'

### inv (DisjSets)

Number of lines in dtrace file(s):
 674734

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o DisjSets.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	--ppt "^DataStructures\.DisjSets[:\.]" --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/DisjSets -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/DisjSets -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f DisjSets.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = DisjSets.inv.gz
Reading declaration files .
Reading data trace files .::::
Read 1 declaration file, 0 spinfo files, 1 dtrace file
DataStructures.DisjSets:::OBJECT......0.2s
DataStructures.DisjSets.<init>(I)V:::ENTER......0s
DataStructures.DisjSets.<init>(I)V:::EXIT32......0s
DataStructures.DisjSets.find(I)I:::ENTER......3.5s
DataStructures.DisjSets.find(I)I:::EXIT68......0.3s
DataStructures.DisjSets.find(I)I:::EXIT70......4.7s
DataStructures.DisjSets.find(I)I:::EXIT......4.8s
DataStructures.DisjSets.unionCareful(II)V:::ENTER......0.4s
DataStructures.DisjSets.unionCareful(II)V:::EXIT57......1.2s
DataStructures.DisjSets.unionDisjoint(II)V:::ENTER......0.2s
DataStructures.DisjSets.unionDisjoint(II)V:::EXIT44......0.9s
Invoking Simplify to identify redundant invariants..............4.9s
Exiting

### txt-daikon (DisjSets)

rm -f DisjSets.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant DisjSets.inv.gz &> DisjSets.txt-daikon) || (mv DisjSets.txt-daikon DisjSets.txt-daikon-failed && false)

### textual diff (DisjSets)

rm -f DisjSets.txt-daikon.diff
diff -bu DisjSets.txt-daikon.goal DisjSets.txt-daikon > DisjSets.txt-daikon.diff
cat DisjSets.txt-daikon.diff

### txt-esc (DisjSets)

rm -f DisjSets.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant DisjSets.inv.gz &> DisjSets.txt-esc) || (mv DisjSets.txt-esc DisjSets.txt-esc-failed && false)

### textual diff (DisjSets)

rm -f DisjSets.txt-esc.diff
diff -bu DisjSets.txt-esc.goal DisjSets.txt-esc > DisjSets.txt-esc.diff
cat DisjSets.txt-esc.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/DisjSets'
==========================================================================
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/WeightedNodePath'

### inv (WeightedNodePath)

Number of lines in dtrace file(s):
  83132

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o WeightedNodePath.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/WeightedNodePath -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/WeightedNodePath -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f WeightedNodePath.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = WeightedNodePath.inv.gz
Reading declaration files .
Reading data trace files .
Read 1 declaration file, 0 spinfo files, 1 dtrace file
MapQuick.WeightedNodePath:::OBJECT......0.1s
MapQuick.WeightedNodePath.<init>(LMapQuick/WeightedNode;)V:::ENTER......0s
MapQuick.WeightedNodePath.<init>(LMapQuick/WeightedNode;)V:::EXIT33......0s
MapQuick.WeightedNodePath.<init>(LMapQuick/WeightedNode;LMapQuick/WeightedNodePath;)V:::ENTER......0s
MapQuick.WeightedNodePath.<init>(LMapQuick/WeightedNode;LMapQuick/WeightedNodePath;)V:::EXIT51......0.5s
MapQuick.WeightedNodePath.cost()D:::ENTER......0s
MapQuick.WeightedNodePath.cost()D:::EXIT68......0.2s
MapQuick.WeightedNodePath.elements()Ljava/util/Iterator;:::ENTER......0s
MapQuick.WeightedNodePath.elements()Ljava/util/Iterator;:::EXIT79......0.1s
MapQuick.WeightedNodePath.extend(LMapQuick/WeightedNode;)LMapQuick/Path;:::ENTER......0s
MapQuick.WeightedNodePath.extend(LMapQuick/WeightedNode;)LMapQuick/Path;:::EXIT63......0.2s
MapQuick.WeightedNodePath.extend(Ljava/lang/Object;)LMapQuick/Path;:::ENTER......0s
MapQuick.WeightedNodePath.extend(Ljava/lang/Object;)LMapQuick/Path;:::EXIT56......0.2s
MapQuick.WeightedNodePath.hashCode()I:::ENTER......0.1s
MapQuick.WeightedNodePath.hashCode()I:::EXIT120......0.1s
Invoking Simplify to identify redundant invariants......Object invariants on argument: skipping path.path
Object invariants on argument: skipping path.path.path
............Object invariants on argument: skipping this.path
Object invariants on argument: skipping this.path.path
Object invariants on argument: skipping this.path.path.path
..Object invariants on argument: skipping this.path
Object invariants on argument: skipping this.path.path
Object invariants on argument: skipping this.path.path.path
..Object invariants on argument: skipping this.path
Object invariants on argument: skipping this.path.path
Object invariants on argument: skipping this.path.path.path
....0.7s
Exiting

### txt-daikon (WeightedNodePath)

rm -f WeightedNodePath.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant WeightedNodePath.inv.gz &> WeightedNodePath.txt-daikon) || (mv WeightedNodePath.txt-daikon WeightedNodePath.txt-daikon-failed && false)

### textual diff (WeightedNodePath)

rm -f WeightedNodePath.txt-daikon.diff
diff -bu WeightedNodePath.txt-daikon.goal WeightedNodePath.txt-daikon > WeightedNodePath.txt-daikon.diff
cat WeightedNodePath.txt-daikon.diff

### txt-esc (WeightedNodePath)

rm -f WeightedNodePath.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant WeightedNodePath.inv.gz &> WeightedNodePath.txt-esc) || (mv WeightedNodePath.txt-esc WeightedNodePath.txt-esc-failed && false)

### textual diff (WeightedNodePath)

rm -f WeightedNodePath.txt-esc.diff
diff -bu WeightedNodePath.txt-esc.goal WeightedNodePath.txt-esc > WeightedNodePath.txt-esc.diff
cat WeightedNodePath.txt-esc.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/WeightedNodePath'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/StreetNumberSet'

### inv (StreetNumberSet)

Number of lines in dtrace file(s):
4563901

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o StreetNumberSet.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/StreetNumberSet -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/StreetNumberSet -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f StreetNumberSet.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = StreetNumberSet.inv.gz
Reading declaration files .
Reading data trace files .:::::::::::::::::::::::::::::::::::::::::::
Read 1 declaration file, 0 spinfo files, 1 dtrace file
MapQuick1.StreetNumberSet:::OBJECT......0.5s
MapQuick1.StreetNumberSet.<init>(Ljava/lang/String;)V:::ENTER......0s
MapQuick1.StreetNumberSet.<init>(Ljava/lang/String;)V:::EXIT68......0.1s
MapQuick1.StreetNumberSet.checkRep()V:::ENTER......0.3s
MapQuick1.StreetNumberSet.checkRep()V:::EXIT104......0.4s
MapQuick1.StreetNumberSet.contains(I)Z:::ENTER......0.4s
MapQuick1.StreetNumberSet.contains(I)Z:::EXIT118......0.3s
MapQuick1.StreetNumberSet.contains(I)Z:::EXIT123......0.3s
MapQuick1.StreetNumberSet.contains(I)Z:::EXIT......1s
MapQuick1.StreetNumberSet.equals(LMapQuick1/StreetNumberSet;)Z:::ENTER......0.1s
MapQuick1.StreetNumberSet.equals(LMapQuick1/StreetNumberSet;)Z:::EXIT271......0s
MapQuick1.StreetNumberSet.equals(LMapQuick1/StreetNumberSet;)Z:::EXIT272......0.1s
MapQuick1.StreetNumberSet.equals(LMapQuick1/StreetNumberSet;)Z:::EXIT281......0.1s
MapQuick1.StreetNumberSet.equals(LMapQuick1/StreetNumberSet;)Z:::EXIT282......0.1s
MapQuick1.StreetNumberSet.equals(LMapQuick1/StreetNumberSet;)Z:::EXIT286......0.1s
MapQuick1.StreetNumberSet.equals(LMapQuick1/StreetNumberSet;)Z:::EXIT290......0.1s
MapQuick1.StreetNumberSet.equals(LMapQuick1/StreetNumberSet;)Z:::EXIT......0.4s
MapQuick1.StreetNumberSet.equals(Ljava/lang/Object;)Z:::ENTER......1s
MapQuick1.StreetNumberSet.equals(Ljava/lang/Object;)Z:::EXIT266......0.1s
MapQuick1.StreetNumberSet.hashCode()I:::ENTER......0s
MapQuick1.StreetNumberSet.hashCode()I:::EXIT295......0s
MapQuick1.StreetNumberSet.intersects(LMapQuick1/StreetNumberSet;)Z:::ENTER......0.1s
MapQuick1.StreetNumberSet.intersects(LMapQuick1/StreetNumberSet;)Z:::EXIT253......0.1s
MapQuick1.StreetNumberSet.intersects(LMapQuick1/StreetNumberSet;)Z:::EXIT257......0.1s
MapQuick1.StreetNumberSet.intersects(LMapQuick1/StreetNumberSet;)Z:::EXIT......0.3s
MapQuick1.StreetNumberSet.isEmpty()Z:::ENTER......0s
MapQuick1.StreetNumberSet.isEmpty()Z:::EXIT190......0.1s
MapQuick1.StreetNumberSet.max()I:::ENTER......0s
MapQuick1.StreetNumberSet.max()I:::EXIT230......0.1s
MapQuick1.StreetNumberSet.min()I:::ENTER......0.1s
MapQuick1.StreetNumberSet.min()I:::EXIT210......0.2s
MapQuick1.StreetNumberSet.orderStatistic(I)I:::ENTER......0.2s
MapQuick1.StreetNumberSet.orderStatistic(I)I:::EXIT162......0.4s
MapQuick1.StreetNumberSet.parityOf(I)I:::ENTER......4.4s
MapQuick1.StreetNumberSet.parityOf(I)I:::EXIT72......7.7s
MapQuick1.StreetNumberSet.size()I:::ENTER......0s
MapQuick1.StreetNumberSet.size()I:::EXIT181......0s
Invoking Simplify to identify redundant invariants.......................OneOf problem: num_elts 3, num_mod 2: this.begins[] elements one of { 1, 3, 7 }
OneOf problem: num_elts 3, num_mod 2: this.ends[] elements one of { 1, 5, 7 }
.OneOf problem: num_elts 3, num_mod 2: this.ends[] elements one of { 1, 5, 7 }
OneOf problem: num_elts 3, num_mod 2: this.ends[] elements one of { 1, 5, 7 }
OneOf problem: num_elts 3, num_mod 2: orig(this.ends[]) elements one of { 1, 5, 7 }
OneOf problem: num_elts 3, num_mod 2: orig(this.begins[]) elements one of { 1, 3, 7 }
OneOf problem: num_elts 3, num_mod 2: this.begins[] elements one of { 1, 3, 7 }
OneOf problem: num_elts 3, num_mod 2: this.begins[] elements one of { 1, 3, 7 }
...................5.3s
Exiting

### txt-daikon (StreetNumberSet)

rm -f StreetNumberSet.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant StreetNumberSet.inv.gz &> StreetNumberSet.txt-daikon) || (mv StreetNumberSet.txt-daikon StreetNumberSet.txt-daikon-failed && false)

### textual diff (StreetNumberSet)

rm -f StreetNumberSet.txt-daikon.diff
diff -bu StreetNumberSet.txt-daikon.goal StreetNumberSet.txt-daikon > StreetNumberSet.txt-daikon.diff
make[4]: [StreetNumberSet.txt-daikon.diff] Error 1 (ignored)
cat StreetNumberSet.txt-daikon.diff
--- StreetNumberSet.txt-daikon.goal	Mon Mar 11 16:08:13 2002
+++ StreetNumberSet.txt-daikon	Thu Mar 21 13:47:55 2002
@@ -226,6 +226,7 @@
 this.begins[] elements <= return
 return in this.ends[]
 this.ends[] elements <= return
+return >= size(this.begins[])-1
 ===========================================================================
 MapQuick1.StreetNumberSet.min():::ENTER
 ===========================================================================
@@ -240,6 +241,7 @@
 ===========================================================================
 MapQuick1.StreetNumberSet.orderStatistic(int):::ENTER
 n >= 0
+n != size(this.begins[])
 ===========================================================================
 MapQuick1.StreetNumberSet.orderStatistic(int):::EXIT162
 n == orig(n)
@@ -248,6 +250,8 @@
 this.ends == orig(this.ends)
 this.ends[] == orig(this.ends[])
 return >= 0
+n >= return
+n != size(this.begins[])
 ===========================================================================
 MapQuick1.StreetNumberSet.parityOf(int):::ENTER
 i >= 0
@@ -264,3 +268,4 @@
 this.begins[] == orig(this.begins[])
 this.ends == orig(this.ends)
 this.ends[] == orig(this.ends[])
+return >= size(this.begins[])

### txt-esc (StreetNumberSet)

rm -f StreetNumberSet.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant StreetNumberSet.inv.gz &> StreetNumberSet.txt-esc) || (mv StreetNumberSet.txt-esc StreetNumberSet.txt-esc-failed && false)

### textual diff (StreetNumberSet)

rm -f StreetNumberSet.txt-esc.diff
diff -bu StreetNumberSet.txt-esc.goal StreetNumberSet.txt-esc > StreetNumberSet.txt-esc.diff
make[4]: [StreetNumberSet.txt-esc.diff] Error 1 (ignored)
cat StreetNumberSet.txt-esc.diff
--- StreetNumberSet.txt-esc.goal	Mon Mar 11 16:08:13 2002
+++ StreetNumberSet.txt-esc	Thu Mar 21 13:47:58 2002
@@ -110,6 +110,7 @@
 (\forall int i; (0 <= i && i <= this.begins.length-1) ==> (this.begins[i] <= \result))
 !(\forall int i; (0 <= i && i <= this.ends.length-1) ==> (this.ends[i] != \result))
 (\forall int i; (0 <= i && i <= this.ends.length-1) ==> (this.ends[i] <= \result))
+\result >= this.begins.length-1
 ===========================================================================
 MapQuick1.StreetNumberSet.min():::ENTER
     Variables: this this.begins this.begins[] this.ends this.ends[] size(this.begins[]) size(this.begins[])-1 size(this.ends[]) size(this.ends[])-1
@@ -124,11 +125,14 @@
 MapQuick1.StreetNumberSet.orderStatistic(int):::ENTER
     Variables: n this this.begins this.begins[] this.ends this.ends[] size(this.begins[]) size(this.begins[])-1 size(this.ends[]) size(this.ends[])-1
 n >= 0
+n != this.begins.length
 ===========================================================================
 MapQuick1.StreetNumberSet.orderStatistic(int):::EXIT162
     Variables: n return this this.begins this.begins[] this.ends this.ends[] orig(n) orig(this) orig(this.begins) orig(this.begins[]) orig(this.ends) orig(this.ends[]) size(this.begins[]) size(this.begins[])-1 size(this.ends[]) size(this.ends[])-1 this.begins[return] this.begins[return-1] this.begins[return..] this.begins[return+1..] this.begins[0..return] this.begins[0..return-1] this.ends[return] this.ends[return-1] this.ends[return..] this.ends[return+1..] this.ends[0..return] this.ends[0..return-1]
       Unmodified variables: n this this.begins this.begins[] this.ends this.ends[]
 \result >= 0
+n >= \result
+n != this.begins.length
 ===========================================================================
 MapQuick1.StreetNumberSet.parityOf(int):::ENTER
     Variables: i
@@ -146,3 +150,4 @@
 MapQuick1.StreetNumberSet.size():::EXIT181
     Variables: return this this.begins this.begins[] this.ends this.ends[] orig(this) orig(this.begins) orig(this.begins[]) orig(this.ends) orig(this.ends[]) size(this.begins[]) size(this.begins[])-1 size(this.ends[]) size(this.ends[])-1
       Unmodified variables: this this.begins this.begins[] this.ends this.ends[]
+\result >= this.begins.length
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/StreetNumberSet'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/RatNum'

### inv (RatNum)

Number of lines in dtrace file(s):
5944171

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o RatNum.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/RatNum -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/RatNum -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f RatNum.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = RatNum.inv.gz
Reading declaration files .
Reading data trace files .::::::::::::::::::::::::::::::::::::::::::
Read 1 declaration file, 0 spinfo files, 1 dtrace file
PolyCalc.RatNum:::OBJECT......4s
PolyCalc.RatNum.<init>(I)V:::ENTER......0.1s
PolyCalc.RatNum.<init>(I)V:::EXIT45......1.2s
PolyCalc.RatNum.<init>(II)V:::ENTER......0.6s
PolyCalc.RatNum.<init>(II)V:::EXIT55......0.5s
PolyCalc.RatNum.<init>(II)V:::EXIT67......1s
PolyCalc.RatNum.<init>(II)V:::EXIT......1.2s
PolyCalc.RatNum.add(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::ENTER......0.3s
PolyCalc.RatNum.add(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT156......4.1s
PolyCalc.RatNum.approx()D:::ENTER......0.1s
PolyCalc.RatNum.approx()D:::EXIT117......0s
PolyCalc.RatNum.approx()D:::EXIT120......0.1s
PolyCalc.RatNum.approx()D:::EXIT......0.1s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::ENTER......0.1s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::EXIT101......0.2s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::EXIT94......0s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::EXIT96......0s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::EXIT98......0.2s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::EXIT......0.3s
PolyCalc.RatNum.debugPrint()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatNum.debugPrint()Ljava/lang/String;:::EXIT241......0s
PolyCalc.RatNum.div(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::ENTER......0.2s
PolyCalc.RatNum.div(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT187......0.1s
PolyCalc.RatNum.div(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT189......0.3s
PolyCalc.RatNum.div(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT......0.4s
PolyCalc.RatNum.equals(Ljava/lang/Object;)Z:::ENTER......1s
PolyCalc.RatNum.equals(Ljava/lang/Object;)Z:::EXIT230......0s
PolyCalc.RatNum.equals(Ljava/lang/Object;)Z:::EXIT232......3.3s
PolyCalc.RatNum.equals(Ljava/lang/Object;)Z:::EXIT......3.2s
PolyCalc.RatNum.gcd(II)I:::ENTER......0.4s
PolyCalc.RatNum.gcd(II)I:::EXIT209......0.7s
PolyCalc.RatNum.gcd(II)I:::EXIT......0.6s
PolyCalc.RatNum.isNaN()Z:::ENTER......0.9s
PolyCalc.RatNum.isNaN()Z:::EXIT71......2.8s
PolyCalc.RatNum.isNegative()Z:::ENTER......0.1s
PolyCalc.RatNum.isNegative()Z:::EXIT77......0.3s
PolyCalc.RatNum.isPositive()Z:::ENTER......0.1s
PolyCalc.RatNum.isPositive()Z:::EXIT83......0.2s
PolyCalc.RatNum.mul(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::ENTER......0.2s
PolyCalc.RatNum.mul(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT175......0.4s
PolyCalc.RatNum.negate()LPolyCalc/RatNum;:::ENTER......0.2s
PolyCalc.RatNum.negate()LPolyCalc/RatNum;:::EXIT147......0.5s
PolyCalc.RatNum.parse(Ljava/lang/String;)LPolyCalc/RatNum;:::ENTER......0s
PolyCalc.RatNum.parse(Ljava/lang/String;)LPolyCalc/RatNum;:::EXIT264......0s
PolyCalc.RatNum.parse(Ljava/lang/String;)LPolyCalc/RatNum;:::EXIT267......0s
PolyCalc.RatNum.parse(Ljava/lang/String;)LPolyCalc/RatNum;:::EXIT273......0s
PolyCalc.RatNum.parse(Ljava/lang/String;)LPolyCalc/RatNum;:::EXIT......0s
PolyCalc.RatNum.sub(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::ENTER......0.2s
PolyCalc.RatNum.sub(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT166......0.5s
PolyCalc.RatNum.toString()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatNum.toString()Ljava/lang/String;:::EXIT246......0s
PolyCalc.RatNum.unparse()Ljava/lang/String;:::ENTER......0.1s
PolyCalc.RatNum.unparse()Ljava/lang/String;:::EXIT133......0.1s
PolyCalc.RatNum.unparse()Ljava/lang/String;:::EXIT135......0.2s
PolyCalc.RatNum.unparse()Ljava/lang/String;:::EXIT137......0.1s
PolyCalc.RatNum.unparse()Ljava/lang/String;:::EXIT......0.3s
Invoking Simplify to identify redundant invariants...............................................................1.1s
Exiting

### txt-daikon (RatNum)

rm -f RatNum.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant RatNum.inv.gz &> RatNum.txt-daikon) || (mv RatNum.txt-daikon RatNum.txt-daikon-failed && false)

### textual diff (RatNum)

rm -f RatNum.txt-daikon.diff
diff -bu RatNum.txt-daikon.goal RatNum.txt-daikon > RatNum.txt-daikon.diff
make[4]: [RatNum.txt-daikon.diff] Error 1 (ignored)
cat RatNum.txt-daikon.diff
--- RatNum.txt-daikon.goal	Thu Dec 20 03:55:07 2001
+++ RatNum.txt-daikon	Thu Mar 21 13:49:25 2002
@@ -56,9 +56,8 @@
 this.denom >= 1
 ===========================================================================
 PolyCalc.RatNum.compareTo(PolyCalc.RatNum):::EXIT94
-rn.denom == this.denom == orig(this.denom)
+rn.denom == return == this.denom == orig(this.denom)
 rn.denom == 0
-return == 0
 ===========================================================================
 PolyCalc.RatNum.compareTo(PolyCalc.RatNum):::EXIT96
 rn.numer >= -1

### txt-esc (RatNum)

rm -f RatNum.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant RatNum.inv.gz &> RatNum.txt-esc) || (mv RatNum.txt-esc RatNum.txt-esc-failed && false)

### textual diff (RatNum)

rm -f RatNum.txt-esc.diff
diff -bu RatNum.txt-esc.goal RatNum.txt-esc > RatNum.txt-esc.diff
cat RatNum.txt-esc.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/RatNum'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/RatPoly'

### inv (RatPoly)

Number of lines in dtrace file(s):
12839377

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o RatPoly.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/RatPoly -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/RatPoly -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f RatPoly.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = RatPoly.inv.gz
Reading declaration files ....
Reading data trace files .::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
Read 4 declaration files, 0 spinfo files, 1 dtrace file
PolyCalc.RatNum:::OBJECT......3.9s
PolyCalc.RatNum.<init>(I)V:::ENTER......0.1s
PolyCalc.RatNum.<init>(I)V:::EXIT45......1.2s
PolyCalc.RatNum.<init>(II)V:::ENTER......0.6s
PolyCalc.RatNum.<init>(II)V:::EXIT55......0.5s
PolyCalc.RatNum.<init>(II)V:::EXIT67......0.9s
PolyCalc.RatNum.<init>(II)V:::EXIT......1.2s
PolyCalc.RatNum.add(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::ENTER......0.3s
PolyCalc.RatNum.add(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT156......0.8s
PolyCalc.RatNum.approx()D:::ENTER......0.1s
PolyCalc.RatNum.approx()D:::EXIT117......0s
PolyCalc.RatNum.approx()D:::EXIT120......0.1s
PolyCalc.RatNum.approx()D:::EXIT......0.1s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::ENTER......0.1s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::EXIT101......0.2s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::EXIT94......0s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::EXIT96......0s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::EXIT98......0.1s
PolyCalc.RatNum.compareTo(LPolyCalc/RatNum;)I:::EXIT......0.3s
PolyCalc.RatNum.debugPrint()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatNum.debugPrint()Ljava/lang/String;:::EXIT241......0s
PolyCalc.RatNum.div(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::ENTER......0.1s
PolyCalc.RatNum.div(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT187......0.1s
PolyCalc.RatNum.div(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT189......0.3s
PolyCalc.RatNum.div(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT......0.4s
PolyCalc.RatNum.equals(Ljava/lang/Object;)Z:::ENTER......1s
PolyCalc.RatNum.equals(Ljava/lang/Object;)Z:::EXIT230......0s
PolyCalc.RatNum.equals(Ljava/lang/Object;)Z:::EXIT232......3.3s
PolyCalc.RatNum.equals(Ljava/lang/Object;)Z:::EXIT......3.1s
PolyCalc.RatNum.gcd(II)I:::ENTER......0.4s
PolyCalc.RatNum.gcd(II)I:::EXIT209......0.6s
PolyCalc.RatNum.gcd(II)I:::EXIT......0.6s
PolyCalc.RatNum.isNaN()Z:::ENTER......0.9s
PolyCalc.RatNum.isNaN()Z:::EXIT71......2.7s
PolyCalc.RatNum.isNegative()Z:::ENTER......0.1s
PolyCalc.RatNum.isNegative()Z:::EXIT77......0.3s
PolyCalc.RatNum.isPositive()Z:::ENTER......0s
PolyCalc.RatNum.isPositive()Z:::EXIT83......0.2s
PolyCalc.RatNum.mul(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::ENTER......0.2s
PolyCalc.RatNum.mul(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT175......0.4s
PolyCalc.RatNum.negate()LPolyCalc/RatNum;:::ENTER......0.2s
PolyCalc.RatNum.negate()LPolyCalc/RatNum;:::EXIT147......0.6s
PolyCalc.RatNum.parse(Ljava/lang/String;)LPolyCalc/RatNum;:::ENTER......0s
PolyCalc.RatNum.parse(Ljava/lang/String;)LPolyCalc/RatNum;:::EXIT264......0s
PolyCalc.RatNum.parse(Ljava/lang/String;)LPolyCalc/RatNum;:::EXIT267......0s
PolyCalc.RatNum.parse(Ljava/lang/String;)LPolyCalc/RatNum;:::EXIT273......0s
PolyCalc.RatNum.parse(Ljava/lang/String;)LPolyCalc/RatNum;:::EXIT......0s
PolyCalc.RatNum.sub(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::ENTER......0.2s
PolyCalc.RatNum.sub(LPolyCalc/RatNum;)LPolyCalc/RatNum;:::EXIT166......0.5s
PolyCalc.RatNum.toString()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatNum.toString()Ljava/lang/String;:::EXIT246......0s
PolyCalc.RatNum.unparse()Ljava/lang/String;:::ENTER......0.1s
PolyCalc.RatNum.unparse()Ljava/lang/String;:::EXIT133......0s
PolyCalc.RatNum.unparse()Ljava/lang/String;:::EXIT135......0.2s
PolyCalc.RatNum.unparse()Ljava/lang/String;:::EXIT137......0.1s
PolyCalc.RatNum.unparse()Ljava/lang/String;:::EXIT......0.3s
PolyCalc.RatPoly:::OBJECT......0.3s
PolyCalc.RatPoly.<init>()V:::ENTER......0s
PolyCalc.RatPoly.<init>()V:::EXIT57......0.1s
PolyCalc.RatPoly.<init>(II)V:::ENTER......0s
PolyCalc.RatPoly.<init>(II)V:::EXIT68......0.1s
PolyCalc.RatPoly.<init>(LPolyCalc/RatTermVec;)V:::ENTER......0.1s
PolyCalc.RatPoly.<init>(LPolyCalc/RatTermVec;)V:::EXIT77......0.1s
PolyCalc.RatPoly.add(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::ENTER......0.1s
PolyCalc.RatPoly.add(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT350......0.1s
PolyCalc.RatPoly.add(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT354......0.1s
PolyCalc.RatPoly.add(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT363......0.3s
PolyCalc.RatPoly.add(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT......0.3s
PolyCalc.RatPoly.appendTerm(Ljava/lang/StringBuffer;LPolyCalc/RatTerm;)V:::ENTER......0.1s
PolyCalc.RatPoly.appendTerm(Ljava/lang/StringBuffer;LPolyCalc/RatTerm;)V:::EXIT229......0.1s
PolyCalc.RatPoly.appendTerm(Ljava/lang/StringBuffer;LPolyCalc/RatTerm;)V:::EXIT......0.1s
PolyCalc.RatPoly.assertSorted(LPolyCalc/RatTermVec;)V:::ENTER......0.1s
PolyCalc.RatPoly.assertSorted(LPolyCalc/RatTermVec;)V:::EXIT342......0.1s
PolyCalc.RatPoly.checkRep()V:::ENTER......0.3s
PolyCalc.RatPoly.checkRep()V:::EXIT689......0.5s
PolyCalc.RatPoly.coeff(I)LPolyCalc/RatNum;:::ENTER......0.1s
PolyCalc.RatPoly.coeff(I)LPolyCalc/RatNum;:::EXIT120......0.1s
PolyCalc.RatPoly.coeff(I)LPolyCalc/RatNum;:::EXIT124......0.1s
PolyCalc.RatPoly.coeff(I)LPolyCalc/RatNum;:::EXIT......0.3s
PolyCalc.RatPoly.degree()I:::ENTER......0s
PolyCalc.RatPoly.degree()I:::EXIT102......0s
PolyCalc.RatPoly.degree()I:::EXIT105......0s
PolyCalc.RatPoly.degree()I:::EXIT......0.1s
PolyCalc.RatPoly.div(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::ENTER......0s
PolyCalc.RatPoly.div(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT435......0.1s
PolyCalc.RatPoly.div(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT438......0.2s
PolyCalc.RatPoly.div(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT......0.2s
PolyCalc.RatPoly.divAndRem(LPolyCalc/RatPoly;)[LPolyCalc/RatPoly;:::ENTER......0s
PolyCalc.RatPoly.divAndRem(LPolyCalc/RatPoly;)[LPolyCalc/RatPoly;:::EXIT503......0.1s
PolyCalc.RatPoly.eval(D)D:::ENTER......0s
PolyCalc.RatPoly.eval(D)D:::EXIT581......0s
PolyCalc.RatPoly.findTermIndex(LPolyCalc/RatTermVec;I)I:::ENTER......0.1s
PolyCalc.RatPoly.findTermIndex(LPolyCalc/RatTermVec;I)I:::EXIT521......2.5s
PolyCalc.RatPoly.findTermIndex(LPolyCalc/RatTermVec;I)I:::EXIT523......0s
PolyCalc.RatPoly.findTermIndex(LPolyCalc/RatTermVec;I)I:::EXIT526......0.2s
PolyCalc.RatPoly.findTermIndex(LPolyCalc/RatTermVec;I)I:::EXIT......1s
PolyCalc.RatPoly.hintedGet(LPolyCalc/RatTermVec;II)LPolyCalc/RatTerm;:::ENTER......0.4s
PolyCalc.RatPoly.hintedGet(LPolyCalc/RatTermVec;II)LPolyCalc/RatTerm;:::EXIT534......0.2s
PolyCalc.RatPoly.hintedGet(LPolyCalc/RatTermVec;II)LPolyCalc/RatTerm;:::EXIT537......0.3s
PolyCalc.RatPoly.hintedGet(LPolyCalc/RatTermVec;II)LPolyCalc/RatTerm;:::EXIT......0.4s
PolyCalc.RatPoly.incremExpt(LPolyCalc/RatTermVec;I)V:::ENTER......0s
PolyCalc.RatPoly.incremExpt(LPolyCalc/RatTermVec;I)V:::EXIT271......0s
PolyCalc.RatPoly.isNaN()Z:::ENTER......0.1s
PolyCalc.RatPoly.isNaN()Z:::EXIT86......0s
PolyCalc.RatPoly.isNaN()Z:::EXIT90......0.2s
PolyCalc.RatPoly.isNaN()Z:::EXIT......0.4s
PolyCalc.RatPoly.mul(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::ENTER......0s
PolyCalc.RatPoly.mul(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT390......0s
PolyCalc.RatPoly.mul(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT394......0s
PolyCalc.RatPoly.mul(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT404......0.2s
PolyCalc.RatPoly.mul(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT......0.2s
PolyCalc.RatPoly.negate()LPolyCalc/RatPoly;:::ENTER......0s
PolyCalc.RatPoly.negate()LPolyCalc/RatPoly;:::EXIT567......0s
PolyCalc.RatPoly.parse(Ljava/lang/String;)LPolyCalc/RatPoly;:::ENTER......0s
PolyCalc.RatPoly.parse(Ljava/lang/String;)LPolyCalc/RatPoly;:::EXIT673......0s
PolyCalc.RatPoly.replaceExpt(LPolyCalc/RatTerm;LPolyCalc/RatTermVec;I)V:::ENTER......0.3s
PolyCalc.RatPoly.replaceExpt(LPolyCalc/RatTerm;LPolyCalc/RatTermVec;I)V:::EXIT558......0.6s
PolyCalc.RatPoly.scaleBy(LPolyCalc/RatTerm;)LPolyCalc/RatPoly;:::ENTER......0.1s
PolyCalc.RatPoly.scaleBy(LPolyCalc/RatTerm;)LPolyCalc/RatPoly;:::EXIT238......0.2s
PolyCalc.RatPoly.scaleCoeff(LPolyCalc/RatTermVec;LPolyCalc/RatNum;)V:::ENTER......0s
PolyCalc.RatPoly.scaleCoeff(LPolyCalc/RatTermVec;LPolyCalc/RatNum;)V:::EXIT255......0.1s
PolyCalc.RatPoly.sortedAdd(LPolyCalc/RatTermVec;LPolyCalc/RatTerm;)V:::ENTER......0.1s
PolyCalc.RatPoly.sortedAdd(LPolyCalc/RatTermVec;LPolyCalc/RatTerm;)V:::EXIT308......0.1s
PolyCalc.RatPoly.sortedAdd(LPolyCalc/RatTermVec;LPolyCalc/RatTerm;)V:::EXIT312......0.1s
PolyCalc.RatPoly.sortedAdd(LPolyCalc/RatTermVec;LPolyCalc/RatTerm;)V:::EXIT319......0.2s
PolyCalc.RatPoly.sortedAdd(LPolyCalc/RatTermVec;LPolyCalc/RatTerm;)V:::EXIT328......0.2s
PolyCalc.RatPoly.sortedAdd(LPolyCalc/RatTermVec;LPolyCalc/RatTerm;)V:::EXIT......0.3s
PolyCalc.RatPoly.sub(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::ENTER......0.1s
PolyCalc.RatPoly.sub(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT372......0s
PolyCalc.RatPoly.sub(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT376......0.1s
PolyCalc.RatPoly.sub(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT379......1s
PolyCalc.RatPoly.sub(LPolyCalc/RatPoly;)LPolyCalc/RatPoly;:::EXIT......0.2s
PolyCalc.RatPoly.toString()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatPoly.toString()Ljava/lang/String;:::EXIT678......0s
PolyCalc.RatPoly.unparse()Ljava/lang/String;:::ENTER......0.1s
PolyCalc.RatPoly.unparse()Ljava/lang/String;:::EXIT165......0s
PolyCalc.RatPoly.unparse()Ljava/lang/String;:::EXIT196......0.1s
PolyCalc.RatPoly.unparse()Ljava/lang/String;:::EXIT......0.2s
PolyCalc.RatTerm:::OBJECT......0.1s
PolyCalc.RatTerm.<init>(LPolyCalc/RatNum;I)V:::ENTER......0.1s
PolyCalc.RatTerm.<init>(LPolyCalc/RatNum;I)V:::EXIT33......0.3s
PolyCalc.RatTerm.debugPrint()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatTerm.debugPrint()Ljava/lang/String;:::EXIT49......0s
PolyCalc.RatTerm.toString()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatTerm.toString()Ljava/lang/String;:::EXIT52......0s
PolyCalc.RatTermVec:::OBJECT......1s
PolyCalc.RatTermVec.<init>()V:::ENTER......0s
PolyCalc.RatTermVec.<init>()V:::EXIT27......0.1s
PolyCalc.RatTermVec.addElement(LPolyCalc/RatTerm;)V:::ENTER......0.2s
PolyCalc.RatTermVec.addElement(LPolyCalc/RatTerm;)V:::EXIT50......0.4s
PolyCalc.RatTermVec.copy()LPolyCalc/RatTermVec;:::ENTER......0.1s
PolyCalc.RatTermVec.copy()LPolyCalc/RatTermVec;:::EXIT100......0.1s
PolyCalc.RatTermVec.get(I)LPolyCalc/RatTerm;:::ENTER......3.7s
PolyCalc.RatTermVec.get(I)LPolyCalc/RatTerm;:::EXIT39......5.7s
PolyCalc.RatTermVec.insert(LPolyCalc/RatTerm;I)V:::ENTER......0.1s
PolyCalc.RatTermVec.insert(LPolyCalc/RatTerm;I)V:::EXIT64......0.2s
PolyCalc.RatTermVec.printDebug()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatTermVec.printDebug()Ljava/lang/String;:::EXIT105......0s
PolyCalc.RatTermVec.remove(I)V:::ENTER......0s
PolyCalc.RatTermVec.remove(I)V:::EXIT78......0.1s
PolyCalc.RatTermVec.set(LPolyCalc/RatTerm;I)V:::ENTER......0.3s
PolyCalc.RatTermVec.set(LPolyCalc/RatTerm;I)V:::EXIT89......0.5s
PolyCalc.RatTermVec.size()I:::ENTER......0.6s
PolyCalc.RatTermVec.size()I:::EXIT30......0.8s
PolyCalc.RatTermVec.toString()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatTermVec.toString()Ljava/lang/String;:::EXIT108......0s
Invoking Simplify to identify redundant invariants......................................................................................................................................................................................11.2s
Exiting

### txt-daikon (RatPoly)

rm -f RatPoly.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant RatPoly.inv.gz &> RatPoly.txt-daikon) || (mv RatPoly.txt-daikon RatPoly.txt-daikon-failed && false)

### textual diff (RatPoly)

rm -f RatPoly.txt-daikon.diff
diff -bu RatPoly.txt-daikon.goal RatPoly.txt-daikon > RatPoly.txt-daikon.diff
cat RatPoly.txt-daikon.diff

### txt-esc (RatPoly)

rm -f RatPoly.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant RatPoly.inv.gz &> RatPoly.txt-esc) || (mv RatPoly.txt-esc RatPoly.txt-esc-failed && false)

### textual diff (RatPoly)

rm -f RatPoly.txt-esc.diff
diff -bu RatPoly.txt-esc.goal RatPoly.txt-esc > RatPoly.txt-esc.diff
cat RatPoly.txt-esc.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/RatPoly'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/RatPolyStack'

### inv (RatPolyStack)

Number of lines in dtrace file(s):
  44545

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o RatPolyStack.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/RatPolyStack -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/RatPolyStack -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f RatPolyStack.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = RatPolyStack.inv.gz
Reading declaration files .
Reading data trace files .
Read 1 declaration file, 0 spinfo files, 1 dtrace file
PolyCalc.Cons.<init>(LPolyCalc/RatPoly;LPolyCalc/Cons;)V:::ENTER......0.1s
PolyCalc.Cons.<init>(LPolyCalc/RatPoly;LPolyCalc/Cons;)V:::EXIT11......0.1s
PolyCalc.RatPolyStack:::OBJECT......0s
PolyCalc.RatPolyStack.<init>()V:::ENTER......0s
PolyCalc.RatPolyStack.<init>()V:::EXIT74......0s
PolyCalc.RatPolyStack.add()V:::ENTER......0s
PolyCalc.RatPolyStack.add()V:::EXIT173......0s
PolyCalc.RatPolyStack.clear()V:::ENTER......0s
PolyCalc.RatPolyStack.clear()V:::EXIT143......0s
PolyCalc.RatPolyStack.div()V:::ENTER......0s
PolyCalc.RatPolyStack.div()V:::EXIT221......0s
PolyCalc.RatPolyStack.dup()V:::ENTER......0s
PolyCalc.RatPolyStack.dup()V:::EXIT115......0s
PolyCalc.RatPolyStack.get(I)LPolyCalc/RatPoly;:::ENTER......0s
PolyCalc.RatPolyStack.get(I)LPolyCalc/RatPoly;:::EXIT156......0s
PolyCalc.RatPolyStack.getCons(I)LPolyCalc/Cons;:::ENTER......0s
PolyCalc.RatPolyStack.getCons(I)LPolyCalc/Cons;:::EXIT252......0.1s
PolyCalc.RatPolyStack.mul()V:::ENTER......0s
PolyCalc.RatPolyStack.mul()V:::EXIT205......0s
PolyCalc.RatPolyStack.pop()LPolyCalc/RatPoly;:::ENTER......0s
PolyCalc.RatPolyStack.pop()LPolyCalc/RatPoly;:::EXIT99......0s
PolyCalc.RatPolyStack.push(LPolyCalc/RatPoly;)V:::ENTER......0s
PolyCalc.RatPolyStack.push(LPolyCalc/RatPoly;)V:::EXIT83......0s
PolyCalc.RatPolyStack.size()I:::ENTER......0s
PolyCalc.RatPolyStack.size()I:::EXIT228......0s
PolyCalc.RatPolyStack.sub()V:::ENTER......0s
PolyCalc.RatPolyStack.sub()V:::EXIT189......0s
PolyCalc.RatPolyStack.swap()V:::ENTER......0s
PolyCalc.RatPolyStack.swap()V:::EXIT133......0s
Invoking Simplify to identify redundant invariants.Object invariants on argument: skipping t.tail
Object invariants on argument: skipping t.tail.tail
................................0.7s
Exiting

### txt-daikon (RatPolyStack)

rm -f RatPolyStack.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant RatPolyStack.inv.gz &> RatPolyStack.txt-daikon) || (mv RatPolyStack.txt-daikon RatPolyStack.txt-daikon-failed && false)

### textual diff (RatPolyStack)

rm -f RatPolyStack.txt-daikon.diff
diff -bu RatPolyStack.txt-daikon.goal RatPolyStack.txt-daikon > RatPolyStack.txt-daikon.diff
cat RatPolyStack.txt-daikon.diff

### txt-esc (RatPolyStack)

rm -f RatPolyStack.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant RatPolyStack.inv.gz &> RatPolyStack.txt-esc) || (mv RatPolyStack.txt-esc RatPolyStack.txt-esc-failed && false)

### textual diff (RatPolyStack)

rm -f RatPolyStack.txt-esc.diff
diff -bu RatPolyStack.txt-esc.goal RatPolyStack.txt-esc > RatPolyStack.txt-esc.diff
cat RatPolyStack.txt-esc.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/RatPolyStack'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/RatTermVec'

### inv (RatTermVec)

Number of lines in dtrace file(s):
5419350

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o RatTermVec.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/RatTermVec -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/RatTermVec -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f RatTermVec.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = RatTermVec.inv.gz
Reading declaration files .
Reading data trace files .:::::::::::::::::::::::::::::::::
Read 1 declaration file, 0 spinfo files, 1 dtrace file
PolyCalc.RatTermVec:::OBJECT......1.1s
PolyCalc.RatTermVec.<init>()V:::ENTER......0s
PolyCalc.RatTermVec.<init>()V:::EXIT27......0.1s
PolyCalc.RatTermVec.addElement(LPolyCalc/RatTerm;)V:::ENTER......0.1s
PolyCalc.RatTermVec.addElement(LPolyCalc/RatTerm;)V:::EXIT50......0.6s
PolyCalc.RatTermVec.copy()LPolyCalc/RatTermVec;:::ENTER......0.1s
PolyCalc.RatTermVec.copy()LPolyCalc/RatTermVec;:::EXIT100......0.1s
PolyCalc.RatTermVec.get(I)LPolyCalc/RatTerm;:::ENTER......3.7s
PolyCalc.RatTermVec.get(I)LPolyCalc/RatTerm;:::EXIT39......4.9s
PolyCalc.RatTermVec.insert(LPolyCalc/RatTerm;I)V:::ENTER......0s
PolyCalc.RatTermVec.insert(LPolyCalc/RatTerm;I)V:::EXIT64......0.1s
PolyCalc.RatTermVec.printDebug()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatTermVec.printDebug()Ljava/lang/String;:::EXIT105......0s
PolyCalc.RatTermVec.remove(I)V:::ENTER......0s
PolyCalc.RatTermVec.remove(I)V:::EXIT78......0.1s
PolyCalc.RatTermVec.set(LPolyCalc/RatTerm;I)V:::ENTER......0.1s
PolyCalc.RatTermVec.set(LPolyCalc/RatTerm;I)V:::EXIT89......0.3s
PolyCalc.RatTermVec.size()I:::ENTER......0.6s
PolyCalc.RatTermVec.size()I:::EXIT30......0.8s
PolyCalc.RatTermVec.toString()Ljava/lang/String;:::ENTER......0s
PolyCalc.RatTermVec.toString()Ljava/lang/String;:::EXIT108......0s
Invoking Simplify to identify redundant invariants........................1.1s
Exiting

### txt-daikon (RatTermVec)

rm -f RatTermVec.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant RatTermVec.inv.gz &> RatTermVec.txt-daikon) || (mv RatTermVec.txt-daikon RatTermVec.txt-daikon-failed && false)

### textual diff (RatTermVec)

rm -f RatTermVec.txt-daikon.diff
diff -bu RatTermVec.txt-daikon.goal RatTermVec.txt-daikon > RatTermVec.txt-daikon.diff
cat RatTermVec.txt-daikon.diff

### txt-esc (RatTermVec)

rm -f RatTermVec.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant RatTermVec.inv.gz &> RatTermVec.txt-esc) || (mv RatTermVec.txt-esc RatTermVec.txt-esc-failed && false)

### textual diff (RatTermVec)

rm -f RatTermVec.txt-esc.diff
diff -bu RatTermVec.txt-esc.goal RatTermVec.txt-esc > RatTermVec.txt-esc.diff
cat RatTermVec.txt-esc.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/RatTermVec'
==========================================================================
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/encapsulate_downcast'

### inv (ed)

Number of lines in dtrace file(s):
  49458

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o ed.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/encapsulate_downcast -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/encapsulate_downcast -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f ed.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = ed.inv.gz
Reading declaration files .
Reading data trace files .
Read 1 declaration file, 0 spinfo files, 1 dtrace file
kataoka.EncapsulateDowncast:::CLASS......0s
kataoka.EncapsulateDowncast.main([Ljava/lang/String;)V:::ENTER......0s
kataoka.EncapsulateDowncast.main([Ljava/lang/String;)V:::EXIT50......0s
kataoka.EncapsulateDowncast.showLastPerson(Ljava/util/Vector;)V:::ENTER......0.1s
kataoka.EncapsulateDowncast.showLastPerson(Ljava/util/Vector;)V:::EXIT32......0s
kataoka.Person:::OBJECT......0.1s
kataoka.Person.<init>(Ljava/lang/String;II)V:::ENTER......0.1s
kataoka.Person.<init>(Ljava/lang/String;II)V:::EXIT15......0.2s
kataoka.Person.getName()Ljava/lang/String;:::ENTER......0s
kataoka.Person.getName()Ljava/lang/String;:::EXIT18......0s
Invoking Simplify to identify redundant invariants................0.5s
Exiting

### txt-daikon (ed)

rm -f ed.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant ed.inv.gz &> ed.txt-daikon) || (mv ed.txt-daikon ed.txt-daikon-failed && false)

### textual diff (ed)

rm -f ed.txt-daikon.diff
diff -bu ed.txt-daikon.goal ed.txt-daikon > ed.txt-daikon.diff
cat ed.txt-daikon.diff

### txt-esc (ed)

rm -f ed.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant ed.inv.gz &> ed.txt-esc) || (mv ed.txt-esc ed.txt-esc-failed && false)

### textual diff (ed)

rm -f ed.txt-esc.diff
diff -bu ed.txt-esc.goal ed.txt-esc > ed.txt-esc.diff
make[4]: [ed.txt-esc.diff] Error 1 (ignored)
cat ed.txt-esc.diff
--- ed.txt-esc.goal	Mon Mar 11 07:09:11 2002
+++ ed.txt-esc	Thu Mar 21 13:54:38 2002
@@ -22,14 +22,14 @@
 warning: method daikon.inv.unary.stringsequence.OneOfStringSequence.format_esc() needs to be implemented: argv[].toString == []
 ===========================================================================
 kataoka.EncapsulateDowncast.showLastPerson(java.util.Vector):::ENTER
-    Variables: list list[] list[].class kataoka.EncapsulateDowncast.random kataoka.EncapsulateDowncast.CASES kataoka.EncapsulateDowncast.SEED size(list[]) size(list[])-1
+    Variables: list list[] list[].class kataoka.EncapsulateDowncast.random kataoka.EncapsulateDowncast.CASES kataoka.EncapsulateDowncast.SEED size(list[]) size(list[])-1 list[kataoka.EncapsulateDowncast.CASES] list[kataoka.EncapsulateDowncast.CASES-1] list[kataoka.EncapsulateDowncast.CASES..] list[kataoka.EncapsulateDowncast.CASES+1..] list[0..kataoka.EncapsulateDowncast.CASES] list[0..kataoka.EncapsulateDowncast.CASES-1] list[kataoka.EncapsulateDowncast.SEED] list[kataoka.EncapsulateDowncast.SEED-1] list[kataoka.EncapsulateDowncast.SEED..] list[kataoka.EncapsulateDowncast.SEED+1..] list[0..kataoka.EncapsulateDowncast.SEED] list[0..kataoka.EncapsulateDowncast.SEED-1]
 list != null
 warning: method daikon.inv.unary.sequence.NoDuplicates.format_esc() needs to be implemented: list[] contains no duplicates
 list.containsNull == false
 (\forall int i; (0 <= i && i <= list.length-1) ==> (\typeof(list[i]) == \type(kataoka.Person)))
 ===========================================================================
 kataoka.EncapsulateDowncast.showLastPerson(java.util.Vector):::EXIT32
-    Variables: list list[] list[].class kataoka.EncapsulateDowncast.random kataoka.EncapsulateDowncast.CASES kataoka.EncapsulateDowncast.SEED orig(list) orig(list[]) orig(list[].class) orig(kataoka.EncapsulateDowncast.random) size(list[]) size(list[])-1
+    Variables: list list[] list[].class kataoka.EncapsulateDowncast.random kataoka.EncapsulateDowncast.CASES kataoka.EncapsulateDowncast.SEED orig(list) orig(list[]) orig(list[].class) orig(kataoka.EncapsulateDowncast.random) size(list[]) size(list[])-1 list[kataoka.EncapsulateDowncast.CASES] list[kataoka.EncapsulateDowncast.CASES-1] list[kataoka.EncapsulateDowncast.CASES..] list[kataoka.EncapsulateDowncast.CASES+1..] list[0..kataoka.EncapsulateDowncast.CASES] list[0..kataoka.EncapsulateDowncast.CASES-1] list[kataoka.EncapsulateDowncast.SEED] list[kataoka.EncapsulateDowncast.SEED-1] list[kataoka.EncapsulateDowncast.SEED..] list[kataoka.EncapsulateDowncast.SEED+1..] list[0..kataoka.EncapsulateDowncast.SEED] list[0..kataoka.EncapsulateDowncast.SEED-1]
       Modified variables: list[].class
       Unmodified variables: list list[] kataoka.EncapsulateDowncast.random
 (\forall int i; (0 <= i && i <= list.length-1) ==> (\typeof(list[i]) == \type(kataoka.Person)))
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/encapsulate_downcast'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/compar'

### inv (Compar1)

Number of lines in dtrace file(s):
   3234

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o Compar1.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/compar -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/compar -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f Compar1.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = Compar1.inv.gz
Reading declaration files .
Reading data trace files .
Read 1 declaration file, 0 spinfo files, 1 dtrace file
misc.Compar1.bar(IIII)V:::ENTER......0.1s
misc.Compar1.bar(IIII)V:::EXIT27......0s
misc.Compar1.main([Ljava/lang/String;)V:::ENTER......0s
misc.Compar1.main([Ljava/lang/String;)V:::EXIT19......0s
Invoking Simplify to identify redundant invariants..........0.3s
Exiting

### txt-daikon (Compar1)

rm -f Compar1.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant Compar1.inv.gz &> Compar1.txt-daikon) || (mv Compar1.txt-daikon Compar1.txt-daikon-failed && false)

### textual diff (Compar1)

rm -f Compar1.txt-daikon.diff
diff -bu Compar1.txt-daikon.goal Compar1.txt-daikon > Compar1.txt-daikon.diff
make[4]: [Compar1.txt-daikon.diff] Error 1 (ignored)
cat Compar1.txt-daikon.diff
--- Compar1.txt-daikon.goal	Thu Dec 20 03:55:07 2001
+++ Compar1.txt-daikon	Thu Mar 21 13:54:42 2002
@@ -1,7 +1,8 @@
 ===========================================================================
 misc.Compar1.bar(int, int, int, int):::ENTER
 j == i + 1
-l == k + 1
+k == i + 2
+l == i + 3
 ===========================================================================
 misc.Compar1.bar(int, int, int, int):::EXIT27
 i == orig(i)

### txt-esc (Compar1)

rm -f Compar1.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant Compar1.inv.gz &> Compar1.txt-esc) || (mv Compar1.txt-esc Compar1.txt-esc-failed && false)

### textual diff (Compar1)

rm -f Compar1.txt-esc.diff
diff -bu Compar1.txt-esc.goal Compar1.txt-esc > Compar1.txt-esc.diff
make[4]: [Compar1.txt-esc.diff] Error 1 (ignored)
cat Compar1.txt-esc.diff
--- Compar1.txt-esc.goal	Sun Jan 27 21:50:58 2002
+++ Compar1.txt-esc	Thu Mar 21 13:54:43 2002
@@ -2,7 +2,8 @@
 misc.Compar1.bar(int, int, int, int):::ENTER
     Variables: i j k l
 j == i + 1
-l == k + 1
+k == i + 2
+l == i + 3
 ===========================================================================
 misc.Compar1.bar(int, int, int, int):::EXIT27
     Variables: i j k l orig(i) orig(j) orig(k) orig(l)
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/compar'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/precedence'

### inv (Precedence)

Number of lines in dtrace file(s):
     77

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o Precedence.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/precedence -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/precedence -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f Precedence.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = Precedence.inv.gz
Reading declaration files .
Reading data trace files .
Read 1 declaration file, 0 spinfo files, 1 dtrace file
misc.Precedence.<init>()V:::ENTER......0s
misc.Precedence.<init>()V:::EXIT3......0s
misc.Precedence.lets_calculate(I)I:::ENTER......0s
misc.Precedence.lets_calculate(I)I:::EXIT18......0s
misc.Precedence.main([Ljava/lang/String;)V:::ENTER......0s
misc.Precedence.main([Ljava/lang/String;)V:::EXIT10......0s
Invoking Simplify to identify redundant invariants..........0.2s
Exiting

### txt-daikon (Precedence)

rm -f Precedence.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant Precedence.inv.gz &> Precedence.txt-daikon) || (mv Precedence.txt-daikon Precedence.txt-daikon-failed && false)

### textual diff (Precedence)

rm -f Precedence.txt-daikon.diff
diff -bu Precedence.txt-daikon.goal Precedence.txt-daikon > Precedence.txt-daikon.diff
cat Precedence.txt-daikon.diff

### txt-esc (Precedence)

rm -f Precedence.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant Precedence.inv.gz &> Precedence.txt-esc) || (mv Precedence.txt-esc Precedence.txt-esc-failed && false)

### textual diff (Precedence)

rm -f Precedence.txt-esc.diff
diff -bu Precedence.txt-esc.goal Precedence.txt-esc > Precedence.txt-esc.diff
cat Precedence.txt-esc.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/precedence'
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/hanoi'

### inv (Hanoi)

Number of lines in dtrace file(s):
  19312

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o Hanoi.inv.gz \
	--suppress_cont --suppress_post --suppress_redundant \
	 --no_text_output \
	--show_progress \
	`find /scratch/emarcus/tests/daikon-tests/hanoi -name '*.dtrace.gz'` \
	`find /scratch/emarcus/tests/daikon-tests/hanoi -name '*.decls'` \
	`ls *.spinfo` \
	) \
	|| (rm -f Hanoi.inv.gz && false)
ls: *.spinfo: No such file or directory
Inv filename = Hanoi.inv.gz
Reading declaration files .
Reading data trace files .
Read 1 declaration file, 0 spinfo files, 1 dtrace file
six170.Hanoi:::OBJECT......0.2s
six170.Hanoi.<init>(I)V:::ENTER......0s
six170.Hanoi.<init>(I)V:::EXIT38......0s
six170.Hanoi.<init>(IZ)V:::ENTER......0s
six170.Hanoi.<init>(IZ)V:::EXIT42......0s
six170.Hanoi.moveDisk(II)V:::ENTER......0.1s
six170.Hanoi.moveDisk(II)V:::EXIT57......0.1s
six170.Hanoi.moveTower(III)V:::ENTER......0.1s
six170.Hanoi.moveTower(III)V:::EXIT98......0.1s
six170.Hanoi.otherPeg(II)I:::ENTER......0s
six170.Hanoi.otherPeg(II)I:::EXIT65......0s
six170.Hanoi.otherPeg(II)I:::EXIT66......0s
six170.Hanoi.otherPeg(II)I:::EXIT67......0s
six170.Hanoi.otherPeg(II)I:::EXIT68......0s
six170.Hanoi.otherPeg(II)I:::EXIT69......0s
six170.Hanoi.otherPeg(II)I:::EXIT70......0s
six170.Hanoi.otherPeg(II)I:::EXIT......0s
six170.Hanoi.showTowers()V:::ENTER......0s
six170.Hanoi.showTowers()V:::EXIT136......0s
Invoking Simplify to identify redundant invariants.......................1.1s
Exiting

### txt-daikon (Hanoi)

rm -f Hanoi.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post --suppress_redundant Hanoi.inv.gz &> Hanoi.txt-daikon) || (mv Hanoi.txt-daikon Hanoi.txt-daikon-failed && false)

### textual diff (Hanoi)

rm -f Hanoi.txt-daikon.diff
diff -bu Hanoi.txt-daikon.goal Hanoi.txt-daikon > Hanoi.txt-daikon.diff
cat Hanoi.txt-daikon.diff

### txt-esc (Hanoi)

rm -f Hanoi.txt-esc-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --esc_output --suppress_cont --suppress_post --suppress_redundant Hanoi.inv.gz &> Hanoi.txt-esc) || (mv Hanoi.txt-esc Hanoi.txt-esc-failed && false)

### textual diff (Hanoi)

rm -f Hanoi.txt-esc.diff
diff -bu Hanoi.txt-esc.goal Hanoi.txt-esc > Hanoi.txt-esc.diff
make[4]: [Hanoi.txt-esc.diff] Error 1 (ignored)
cat Hanoi.txt-esc.diff
--- Hanoi.txt-esc.goal	Mon Mar 11 07:09:11 2002
+++ Hanoi.txt-esc	Thu Mar 21 13:54:55 2002
@@ -29,21 +29,21 @@
 (\forall int i; (0 <= i && i <= this.diskLocation.length-1) ==> (this.diskLocation[i] == 0))
 ===========================================================================
 six170.Hanoi.moveDisk(int, int):::ENTER
-    Variables: fromPeg toPeg this this.diskLocation this.diskLocation[] this.height this.noOutput size(this.diskLocation[]) size(this.diskLocation[])-1
+    Variables: fromPeg toPeg this this.diskLocation this.diskLocation[] this.height this.noOutput size(this.diskLocation[]) size(this.diskLocation[])-1 this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1]
 toPeg == 0 || toPeg == 1 || toPeg == 2
 this.noOutput == true
 fromPeg != toPeg
 !(\forall int i; (0 <= i && i <= this.diskLocation.length-1) ==> (this.diskLocation[i] != fromPeg))
 ===========================================================================
 six170.Hanoi.moveDisk(int, int):::EXIT57
-    Variables: fromPeg toPeg this this.diskLocation this.diskLocation[] this.height this.noOutput orig(fromPeg) orig(toPeg) orig(this) orig(this.diskLocation) orig(this.diskLocation[]) orig(this.height) orig(this.noOutput) size(this.diskLocation[]) size(this.diskLocation[])-1 orig(size(this.diskLocation[])) orig(size(this.diskLocation[]))-1
-      Modified variables: this.diskLocation[]
+    Variables: fromPeg toPeg this this.diskLocation this.diskLocation[] this.height this.noOutput orig(fromPeg) orig(toPeg) orig(this) orig(this.diskLocation) orig(this.diskLocation[]) orig(this.height) orig(this.noOutput) size(this.diskLocation[]) size(this.diskLocation[])-1 orig(size(this.diskLocation[])) orig(size(this.diskLocation[]))-1 this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] orig(this.diskLocation[fromPeg]) orig(this.diskLocation[fromPeg-1]) orig(this.diskLocation[fromPeg..]) orig(this.diskLocation[fromPeg+1..]) orig(this.diskLocation[0..fromPeg]) orig(this.diskLocation[0..fromPeg-1]) this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1] orig(this.diskLocation[toPeg]) orig(this.diskLocation[toPeg-1]) orig(this.diskLocation[toPeg..]) orig(this.diskLocation[toPeg+1..]) orig(this.diskLocation[0..toPeg]) orig(this.diskLocation[0..toPeg-1])
+      Modified variables: this.diskLocation[] this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1]
       Unmodified variables: fromPeg toPeg this this.diskLocation this.height this.noOutput size(this.diskLocation[])
 modifies this.diskLocation[*]
 !(\forall int i; (0 <= i && i <= this.diskLocation.length-1) ==> (this.diskLocation[i] != toPeg))
 ===========================================================================
 six170.Hanoi.moveTower(int, int, int):::ENTER
-    Variables: fromPeg toPeg towerHeight this this.diskLocation this.diskLocation[] this.height this.noOutput size(this.diskLocation[]) size(this.diskLocation[])-1 this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight..] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1]
+    Variables: fromPeg toPeg towerHeight this this.diskLocation this.diskLocation[] this.height this.noOutput size(this.diskLocation[]) size(this.diskLocation[])-1 this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1] this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight..] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1]
 fromPeg == this.diskLocation[towerHeight-1]
 fromPeg == 0 || fromPeg == 1 || fromPeg == 2
 toPeg == 0 || toPeg == 1 || toPeg == 2
@@ -53,8 +53,8 @@
 towerHeight <= this.height
 ===========================================================================
 six170.Hanoi.moveTower(int, int, int):::EXIT98
-    Variables: fromPeg toPeg towerHeight this this.diskLocation this.diskLocation[] this.height this.noOutput orig(fromPeg) orig(toPeg) orig(towerHeight) orig(this) orig(this.diskLocation) orig(this.diskLocation[]) orig(this.height) orig(this.noOutput) size(this.diskLocation[]) size(this.diskLocation[])-1 orig(size(this.diskLocation[])) orig(size(this.diskLocation[]))-1 this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight..] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1] orig(this.diskLocation[towerHeight]) orig(this.diskLocation[towerHeight-1]) orig(this.diskLocation[towerHeight..]) orig(this.diskLocation[towerHeight+1..]) orig(this.diskLocation[0..towerHeight]) orig(this.diskLocation[0..towerHeight-1])
-      Modified variables: this.diskLocation[] this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1]
+    Variables: fromPeg toPeg towerHeight this this.diskLocation this.diskLocation[] this.height this.noOutput orig(fromPeg) orig(toPeg) orig(towerHeight) orig(this) orig(this.diskLocation) orig(this.diskLocation[]) orig(this.height) orig(this.noOutput) size(this.diskLocation[]) size(this.diskLocation[])-1 orig(size(this.diskLocation[])) orig(size(this.diskLocation[]))-1 this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] orig(this.diskLocation[fromPeg]) orig(this.diskLocation[fromPeg-1]) orig(this.diskLocation[fromPeg..]) orig(this.diskLocation[fromPeg+1..]) orig(this.diskLocation[0..fromPeg]) orig(this.diskLocation[0..fromPeg-1]) this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1] orig(this.diskLocation[toPeg]) orig(this.diskLocation[toPeg-1]) orig(this.diskLocation[toPeg..]) orig(this.diskLocation[toPeg+1..]) orig(this.diskLocation[0..toPeg]) orig(this.diskLocation[0..toPeg-1]) this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight..] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1] orig(this.diskLocation[towerHeight]) orig(this.diskLocation[towerHeight-1]) orig(this.diskLocation[towerHeight..]) orig(this.diskLocation[towerHeight+1..]) orig(this.diskLocation[0..towerHeight]) orig(this.diskLocation[0..towerHeight-1])
+      Modified variables: this.diskLocation[] this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1] this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1]
       Unmodified variables: fromPeg toPeg towerHeight this this.diskLocation this.height this.noOutput size(this.diskLocation[]) this.diskLocation[towerHeight..]
 modifies this.diskLocation[*]
 fromPeg == \old(this.diskLocation[towerHeight-1])
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/hanoi'
==========================================================================
ls: *.spinfo: No such file or directory
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/print_tokens'

### inv (print_tokens)

Number of lines in dtrace file(s):
 353895

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o print_tokens.inv.gz \
	--suppress_cont --suppress_post  \
	 --no_text_output \
	--show_progress \
	print_tokens.dtrace.gz \
	print_tokens.decls \
	 \
	) \
	|| (rm -f print_tokens.inv.gz && false)
Inv filename = print_tokens.inv.gz
Reading declaration files .
Reading data trace files .:::::
No return from procedure observed 500 times.
Remaining call stack:
11 instances of:
  std.main(int;char **;)int
    1, 3221222442

12 instances of:
  std.main(int;char **;)int
    1, 3221222445

21 instances of:
  std.main(int;char **;)int
    1, 3221222448

16 instances of:
  std.main(int;char **;)int
    1, 3221222462

14 instances of:
  std.main(int;char **;)int
    1, 3221222465

12 instances of:
  std.main(int;char **;)int
    1, 3221222468

11 instances of:
  std.main(int;char **;)int
    1, 3221222437

10 instances of:
  std.main(int;char **;)int
    1, 3221222451

13 instances of:
  std.main(int;char **;)int
    1, 3221222454

23 instances of:
  std.main(int;char **;)int
    1, 3221222457

15 instances of:
  std.main(int;char **;)int
    1, 3221222440

21 instances of:
  std.main(int;char **;)int
    1, 3221222443

18 instances of:
  std.main(int;char **;)int
    1, 3221222446

18 instances of:
  std.main(int;char **;)int
    1, 3221222449

10 instances of:
  std.main(int;char **;)int
    1, 3221222460

13 instances of:
  std.main(int;char **;)int
    1, 3221222463

12 instances of:
  std.main(int;char **;)int
    1, 3221222466

14 instances of:
  std.main(int;char **;)int
    1, 3221222438

15 instances of:
  std.main(int;char **;)int
    1, 3221222452

16 instances of:
  std.main(int;char **;)int
    1, 3221222455

17 instances of:
  std.main(int;char **;)int
    1, 3221222458

18 instances of:
  std.main(int;char **;)int
    1, 3221222441

11 instances of:
  std.main(int;char **;)int
    1, 3221222444

18 instances of:
  std.main(int;char **;)int
    1, 3221222447

14 instances of:
  std.main(int;char **;)int
    1, 3221222461

20 instances of:
  std.main(int;char **;)int
    1, 3221222464

19 instances of:
  std.main(int;char **;)int
    1, 3221222467

14 instances of:
  std.main(int;char **;)int
    1, 3221222439

20 instances of:
  std.main(int;char **;)int
    1, 3221222450

16 instances of:
  std.main(int;char **;)int
    1, 3221222453

19 instances of:
  std.main(int;char **;)int
    1, 3221222456

19 instances of:
  std.main(int;char **;)int
    1, 3221222459

End of report for procedures not returned from.

Read 1 declaration file, 0 spinfo files, 1 dtrace file
std.check_delimiter(char;)int:::ENTER......0.1s
std.check_delimiter(char;)int:::EXIT20......0s
std.check_delimiter(char;)int:::EXIT21......0s
std.check_delimiter(char;)int:::EXIT......0s
std.constant(int;char *;int;)int:::ENTER......0.1s
std.constant(int;char *;int;)int:::EXIT38......0s
std.constant(int;char *;int;)int:::EXIT39......0s
std.constant(int;char *;int;)int:::EXIT......0s
std.error_or_eof_case(token_stream;token;int;char *;int;char;)token:::ENTER......0.1s
std.error_or_eof_case(token_stream;token;int;char *;int;char;)token:::EXIT18......0.1s
std.error_or_eof_case(token_stream;token;int;char *;int;char;)token:::EXIT19......0.1s
std.error_or_eof_case(token_stream;token;int;char *;int;char;)token:::EXIT......0.1s
std.get_actual_token(char *;int;)int:::ENTER......0.1s
std.get_actual_token(char *;int;)int:::EXIT67......0.1s
std.get_char(character_stream;)CHARACTER:::ENTER......0s
std.get_char(character_stream;)CHARACTER:::EXIT3......0.2s
std.get_token(token_stream;)token:::ENTER......0s
std.get_token(token_stream;)token:::EXIT10......0s
std.get_token(token_stream;)token:::EXIT11......0s
std.get_token(token_stream;)token:::EXIT12......0s
std.get_token(token_stream;)token:::EXIT13......0s
std.get_token(token_stream;)token:::EXIT14......0s
std.get_token(token_stream;)token:::EXIT9......0s
std.get_token(token_stream;)token:::EXIT......0s
std.is_end_of_character_stream(character_stream;)BOOLEAN:::ENTER......0s
std.is_end_of_character_stream(character_stream;)BOOLEAN:::EXIT4......0s
std.is_end_of_character_stream(character_stream;)BOOLEAN:::EXIT5......0s
std.is_end_of_character_stream(character_stream;)BOOLEAN:::EXIT......0s
std.is_eof_token(token;)BOOLEAN:::ENTER......0s
std.is_eof_token(token;)BOOLEAN:::EXIT45......0s
std.is_eof_token(token;)BOOLEAN:::EXIT46......0s
std.is_eof_token(token;)BOOLEAN:::EXIT......0s
std.keyword(int;)int:::ENTER......0s
std.keyword(int;)int:::EXIT22......0s
std.keyword(int;)int:::EXIT23......0s
std.keyword(int;)int:::EXIT24......0s
std.keyword(int;)int:::EXIT25......0s
std.keyword(int;)int:::EXIT26......0s
std.keyword(int;)int:::EXIT......0s
std.main(int;char **;)int:::ENTER......0s
std.next_state(int;char;)int:::ENTER......0.5s
std.next_state(int;char;)int:::EXIT41......0.1s
std.next_state(int;char;)int:::EXIT42......0.2s
std.next_state(int;char;)int:::EXIT43......0.3s
std.next_state(int;char;)int:::EXIT44......0.1s
std.next_state(int;char;)int:::EXIT......0.7s
std.numeric_case(token_stream;token;char;char *;int;)token:::ENTER......0s
std.numeric_case(token_stream;token;char;char *;int;)token:::EXIT16......0s
std.numeric_case(token_stream;token;char;char *;int;)token:::EXIT17......0s
std.numeric_case(token_stream;token;char;char *;int;)token:::EXIT......0s
std.open_character_stream(string;)character_stream:::ENTER......0s
std.open_character_stream(string;)character_stream:::EXIT2......0s
std.open_token_stream(string;)token_stream:::ENTER......0s
std.open_token_stream(string;)token_stream:::EXIT8......0s
std.print_token(token;)BOOLEAN:::ENTER......0s
std.print_token(token;)BOOLEAN:::EXIT47......0s
std.print_token(token;)BOOLEAN:::EXIT48......0s
std.print_token(token;)BOOLEAN:::EXIT49......0s
std.print_token(token;)BOOLEAN:::EXIT50......0s
std.print_token(token;)BOOLEAN:::EXIT51......0s
std.print_token(token;)BOOLEAN:::EXIT52......0s
std.print_token(token;)BOOLEAN:::EXIT53......0s
std.print_token(token;)BOOLEAN:::EXIT54......0s
std.print_token(token;)BOOLEAN:::EXIT55......0s
std.print_token(token;)BOOLEAN:::EXIT56......0s
std.print_token(token;)BOOLEAN:::EXIT57......0s
std.print_token(token;)BOOLEAN:::EXIT58......0s
std.print_token(token;)BOOLEAN:::EXIT59......0s
std.print_token(token;)BOOLEAN:::EXIT60......0s
std.print_token(token;)BOOLEAN:::EXIT61......0s
std.print_token(token;)BOOLEAN:::EXIT62......0s
std.print_token(token;)BOOLEAN:::EXIT63......0s
std.print_token(token;)BOOLEAN:::EXIT64......0s
std.print_token(token;)BOOLEAN:::EXIT65......0s
std.print_token(token;)BOOLEAN:::EXIT......0s
std.special(int;)int:::ENTER......0s
std.special(int;)int:::EXIT28......0s
std.special(int;)int:::EXIT29......0s
std.special(int;)int:::EXIT30......0s
std.special(int;)int:::EXIT31......0s
std.special(int;)int:::EXIT32......0s
std.special(int;)int:::EXIT33......0s
std.special(int;)int:::EXIT34......0s
std.special(int;)int:::EXIT35......0s
std.special(int;)int:::EXIT......0s
std.unget_char(CHARACTER;character_stream;)void:::ENTER......0s
std.unget_char(CHARACTER;character_stream;)void:::EXIT7......0s
std.unget_char(CHARACTER;character_stream;)void:::EXIT......0s
Exiting

### txt-daikon (print_tokens)

rm -f print_tokens.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post  print_tokens.inv.gz &> print_tokens.txt-daikon) || (mv print_tokens.txt-daikon print_tokens.txt-daikon-failed && false)

### textual diff (print_tokens)

rm -f print_tokens.txt-daikon.diff
diff -bu print_tokens.txt-daikon.goal print_tokens.txt-daikon > print_tokens.txt-daikon.diff
cat print_tokens.txt-daikon.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/print_tokens'
ls: *.spinfo: No such file or directory
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/print_tokens2'

### inv (print_tokens2)

Number of lines in dtrace file(s):
 911630

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o print_tokens2.inv.gz \
	--suppress_cont --suppress_post  \
	 --no_text_output \
	--show_progress \
	print_tokens2.dtrace.gz \
	print_tokens2.decls \
	 \
	) \
	|| (rm -f print_tokens2.inv.gz && false)
Inv filename = print_tokens2.inv.gz
Reading declaration files .
Reading data trace files .::::::
No return from procedure observed 500 times.
Remaining call stack:
12 instances of:
  std.main(int;char **;)int
    1, 3221222141, 134677593, null

12 instances of:
  std.main(int;char **;)int
    1, 3221222125, 134677577, null

14 instances of:
  std.main(int;char **;)int
    1, 3221222137, 134677589, null

18 instances of:
  std.main(int;char **;)int
    1, 3221222148, 134677600, null

9 instances of:
  std.main(int;char **;)int
    1, 3221222130, 134677582, null

14 instances of:
  std.main(int;char **;)int
    1, 3221222134, 134677586, null

15 instances of:
  std.main(int;char **;)int
    1, 3221222138, 134677590, null

10 instances of:
  std.main(int;char **;)int
    1, 3221222146, 134677598, null

10 instances of:
  std.main(int;char **;)int
    1, 3221222123, 134677575, null

24 instances of:
  std.main(int;char **;)int
    1, 3221222135, 134677587, null

17 instances of:
  std.main(int;char **;)int
    1, 3221222147, 134677599, null

15 instances of:
  std.main(int;char **;)int
    1, 3221222140, 134677592, null

12 instances of:
  std.main(int;char **;)int
    1, 3221222132, 134677584, null

16 instances of:
  std.main(int;char **;)int
    1, 3221222144, 134677596, null

25 instances of:
  std.main(int;char **;)int
    1, 3221222121, 134677573, null

20 instances of:
  std.main(int;char **;)int
    1, 3221222133, 134677585, null

20 instances of:
  std.main(int;char **;)int
    1, 3221222145, 134677597, null

22 instances of:
  std.main(int;char **;)int
    1, 3221222117, 134677569, null

14 instances of:
  std.main(int;char **;)int
    1, 3221222129, 134677581, null

17 instances of:
  std.main(int;char **;)int
    1, 3221222122, 134677574, null

15 instances of:
  std.main(int;char **;)int
    1, 3221222142, 134677594, null

15 instances of:
  std.main(int;char **;)int
    1, 3221222126, 134677578, null

14 instances of:
  std.main(int;char **;)int
    1, 3221222118, 134677570, null

13 instances of:
  std.main(int;char **;)int
    1, 3221222131, 134677583, null

13 instances of:
  std.main(int;char **;)int
    1, 3221222143, 134677595, null

10 instances of:
  std.main(int;char **;)int
    1, 3221222127, 134677579, null

13 instances of:
  std.main(int;char **;)int
    1, 3221222119, 134677571, null

23 instances of:
  std.main(int;char **;)int
    1, 3221222120, 134677572, null

22 instances of:
  std.main(int;char **;)int
    1, 3221222139, 134677591, null

15 instances of:
  std.main(int;char **;)int
    1, 3221222124, 134677576, null

17 instances of:
  std.main(int;char **;)int
    1, 3221222136, 134677588, null

14 instances of:
  std.main(int;char **;)int
    1, 3221222128, 134677580, null

End of report for procedures not returned from.

Read 1 declaration file, 0 spinfo files, 1 dtrace file
std.get_char(character_stream;)char:::ENTER......0.2s
std.get_char(character_stream;)char:::EXIT3......0.4s
std.get_token(token_stream;)token:::ENTER......0s
std.get_token(token_stream;)token:::EXIT10......0s
std.get_token(token_stream;)token:::EXIT11......0s
std.get_token(token_stream;)token:::EXIT13......0s
std.get_token(token_stream;)token:::EXIT7......0s
std.get_token(token_stream;)token:::EXIT8......0s
std.get_token(token_stream;)token:::EXIT9......0s
std.get_token(token_stream;)token:::EXIT......0.1s
std.is_char_constant(token;)int:::ENTER......0.1s
std.is_char_constant(token;)int:::EXIT38......0s
std.is_char_constant(token;)int:::EXIT39......0.1s
std.is_char_constant(token;)int:::EXIT......0.1s
std.is_comment(token;)int:::ENTER......0.1s
std.is_comment(token;)int:::EXIT35......0.1s
std.is_comment(token;)int:::EXIT......0.1s
std.is_eof_token(token;)int:::ENTER......0.3s
std.is_eof_token(token;)int:::EXIT32......0.1s
std.is_eof_token(token;)int:::EXIT33......0.4s
std.is_eof_token(token;)int:::EXIT......0.5s
std.is_identifier(token;)int:::ENTER......0.1s
std.is_identifier(token;)int:::EXIT47......0s
std.is_identifier(token;)int:::EXIT48......0.1s
std.is_identifier(token;)int:::EXIT......0.1s
std.is_keyword(token;)int:::ENTER......0.1s
std.is_keyword(token;)int:::EXIT36......0s
std.is_keyword(token;)int:::EXIT37......0.1s
std.is_keyword(token;)int:::EXIT......0.1s
std.is_num_constant(token;)int:::ENTER......0.1s
std.is_num_constant(token;)int:::EXIT41......0s
std.is_num_constant(token;)int:::EXIT42......0.1s
std.is_num_constant(token;)int:::EXIT......0.1s
std.is_spec_symbol(token;)int:::ENTER......0.3s
std.is_spec_symbol(token;)int:::EXIT57......0s
std.is_spec_symbol(token;)int:::EXIT58......0s
std.is_spec_symbol(token;)int:::EXIT59......0s
std.is_spec_symbol(token;)int:::EXIT60......0s
std.is_spec_symbol(token;)int:::EXIT61......0s
std.is_spec_symbol(token;)int:::EXIT62......0s
std.is_spec_symbol(token;)int:::EXIT63......0s
std.is_spec_symbol(token;)int:::EXIT64......0.4s
std.is_spec_symbol(token;)int:::EXIT......0.4s
std.is_str_constant(token;)int:::ENTER......0.1s
std.is_str_constant(token;)int:::EXIT43......0s
std.is_str_constant(token;)int:::EXIT45......0.1s
std.is_str_constant(token;)int:::EXIT......0.1s
std.is_token_end(int;char;)int:::ENTER......0.2s
std.is_token_end(int;char;)int:::EXIT14......0s
std.is_token_end(int;char;)int:::EXIT15......0s
std.is_token_end(int;char;)int:::EXIT16......0s
std.is_token_end(int;char;)int:::EXIT19......0s
std.is_token_end(int;char;)int:::EXIT20......0s
std.is_token_end(int;char;)int:::EXIT21......0.3s
std.is_token_end(int;char;)int:::EXIT......0.3s
std.main(int;char **;)int:::ENTER......0s
std.open_character_stream(char *;)character_stream:::ENTER......0s
std.open_character_stream(char *;)character_stream:::EXIT2......0s
std.open_token_stream(char *;)token_stream:::ENTER......0s
std.open_token_stream(char *;)token_stream:::EXIT6......0s
std.print_spec_symbol(token;)void:::ENTER......0s
std.print_spec_symbol(token;)void:::EXIT50......0s
std.print_spec_symbol(token;)void:::EXIT51......0s
std.print_spec_symbol(token;)void:::EXIT52......0s
std.print_spec_symbol(token;)void:::EXIT53......0s
std.print_spec_symbol(token;)void:::EXIT54......0s
std.print_spec_symbol(token;)void:::EXIT55......0s
std.print_spec_symbol(token;)void:::EXIT56......0s
std.print_spec_symbol(token;)void:::EXIT......0s
std.print_token(token;)int:::ENTER......0.1s
std.print_token(token;)int:::EXIT31......0.1s
std.token_type(token;)int:::ENTER......0.1s
std.token_type(token;)int:::EXIT22......0s
std.token_type(token;)int:::EXIT23......0s
std.token_type(token;)int:::EXIT24......0s
std.token_type(token;)int:::EXIT25......0s
std.token_type(token;)int:::EXIT26......0s
std.token_type(token;)int:::EXIT27......0s
std.token_type(token;)int:::EXIT29......0s
std.token_type(token;)int:::EXIT30......0s
std.token_type(token;)int:::EXIT......0.1s
std.unget_char(char;character_stream;)char:::ENTER......0s
std.unget_char(char;character_stream;)char:::EXIT4......0s
std.unget_char(char;character_stream;)char:::EXIT5......0s
std.unget_char(char;character_stream;)char:::EXIT......0s
std.unget_error(token_stream;)int:::ENTER......0s
std.unget_error(token_stream;)int:::EXIT49......0s
Exiting

### txt-daikon (print_tokens2)

rm -f print_tokens2.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post  print_tokens2.inv.gz &> print_tokens2.txt-daikon) || (mv print_tokens2.txt-daikon print_tokens2.txt-daikon-failed && false)

### textual diff (print_tokens2)

rm -f print_tokens2.txt-daikon.diff
diff -bu print_tokens2.txt-daikon.goal print_tokens2.txt-daikon > print_tokens2.txt-daikon.diff
cat print_tokens2.txt-daikon.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/print_tokens2'
ls: *.spinfo: No such file or directory
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/replace'

### inv (replace)

Number of lines in dtrace file(s):
2037951

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o replace.inv.gz \
	--suppress_cont --suppress_post  \
	 --no_text_output \
	--show_progress \
	replace.dtrace.gz \
	replace.decls \
	 \
	) \
	|| (rm -f replace.inv.gz && false)
Inv filename = replace.inv.gz
Reading declaration files .
Reading data trace files .:::::::::::
No return from procedure observed 105 times.
Remaining call stack:
2 instances of:
  std.main(int;char **;)int
    3, 3221222265

3 instances of:
  std.main(int;char **;)int
    3, 3221222255

1 instance of:
  std.main(int;char **;)int
    3, 3221222194

1 instance of:
  std.makepat(char *;int;char;char *;)int
    3221222323, #8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO-[^--z]-[^a--b][^0-9]@* *?-c, 0, 0, 134585160, null

2 instances of:
  std.main(int;char **;)int
    3, 3221222245

1 instance of:
  std.main(int;char **;)int
    3, 3221222235

2 instances of:
  std.main(int;char **;)int
    2, 3221222246

1 instance of:
  std.main(int;char **;)int
    3, 3221222225

1 instance of:
  std.main(int;char **;)int
    3, 3221222274

1 instance of:
  std.getpat(char *;char *;)int
    3221222517, %-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B], 134585175, null

1 instance of:
  std.getpat(char *;char *;)int
    3221222441, %@@$@,5rY]~M Wz]`M0)y8H?fc7Phqi}@,5rY]~M Wz]`M0)y8H?@,5rY]~M Wz]`M0)y8H?fc7Phqi}@,5rY]~M Wz]`M0)y8H?t]*[@t@][9-B]-*[0-9]][@t]*[@t@][9-B]t]*[@t@][9-B]-*[0-9]][@t]*[@t@][9-B], 134585161, null

2 instances of:
  std.main(int;char **;)int
    3, 3221222254

1 instance of:
  std.main(int;char **;)int
    2, 3221222265

1 instance of:
  std.main(int;char **;)int
    3, 3221222083

2 instances of:
  std.main(int;char **;)int
    3, 3221222244

1 instance of:
  std.main(int;char **;)int
    3, 3221222199

2 instances of:
  std.main(int;char **;)int
    3, 3221222234

1 instance of:
  std.getccl(char *;int *;char *;int *;)boolean
    3221222554, %[^9-B]?[a-c-?a-][^a-]-?-[9-B][0-9][^a-c*[0-9][^0-9]@[[9-B][^a-c]$, 3221221911, 59, 134585163, %!0129:;<=>?@AB?[007abc-?a-!002a-c-?c-[0129:;<=>?@AB[0120123456789!017abc*[0123456789!0120123456789c[[0129:;<=>?@AB, 3221221907, 99

1 instance of:
  std.main(int;char **;)int
    3, 3221222224

1 instance of:
  std.main(int;char **;)int
    3, 3221222273

1 instance of:
  std.main(int;char **;)int
    3, 3221222163

2 instances of:
  std.main(int;char **;)int
    3, 3221222214

1 instance of:
  std.main(int;char **;)int
    3, 3221222263

1 instance of:
  std.main(int;char **;)int
    3, 3221222092

1 instance of:
  std.main(int;char **;)int
    3, 3221221865

1 instance of:
  std.makepat(char *;int;char;char *;)int
    3221222252, %@@$?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*, 0, 0, 134585152, null

3 instances of:
  std.main(int;char **;)int
    3, 3221222253

1 instance of:
  std.makepat(char *;int;char;char *;)int
    3221222517, %-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B], 0, 0, 134585175, null

1 instance of:
  std.makepat(char *;int;char;char *;)int
    3221222554, %[^9-B]?[a-c-?a-][^a-]-?-[9-B][0-9][^a-c*[0-9][^0-9]@[[9-B][^a-c]$, 0, 0, 134585163, null

1 instance of:
  std.main(int;char **;)int
    3, 3221221900

1 instance of:
  std.main(int;char **;)int
    3, 3221222259

1 instance of:
  std.getpat(char *;char *;)int
    3221222389, %??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**$, 134585161, null

1 instance of:
  std.main(int;char **;)int
    2, 3221222254

1 instance of:
  std.makepat(char *;int;char;char *;)int
    3221222441, %@@$@,5rY]~M Wz]`M0)y8H?fc7Phqi}@,5rY]~M Wz]`M0)y8H?@,5rY]~M Wz]`M0)y8H?fc7Phqi}@,5rY]~M Wz]`M0)y8H?t]*[@t@][9-B]-*[0-9]][@t]*[@t@][9-B]t]*[@t@][9-B]-*[0-9]][@t]*[@t@][9-B], 0, 0, 134585161, null

1 instance of:
  std.getccl(char *;int *;char *;int *;)boolean
    3221222517, %-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B]%-[^9-B], 3221221875, 50, 134585175, %c-!0129:;<=>?@ABc%c-!0129:;<=>?@ABc%c-!0129:;<=>?@ABc%c-!0129:;<=>?@ABc%c-!0129:;<=>?@ABc%c-!0129:;<=>?@ABc%c-, 3221221871, 99

1 instance of:
  std.main(int;char **;)int
    3, 3221222239

1 instance of:
  std.main(int;char **;)int
    3, 3221222223

1 instance of:
  std.getccl(char *;int *;char *;int *;)boolean
    3221222445, %[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[[%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[, 3221221795, 57, 134585175, %[002-z!0129:;<=>?@AB?c-c-!0129:;<=>?@ABc-!0129:;<=>?@AB!0129:;<=>?@ABc-?c%[002-z!0129:;<=>?@AB?c-c-!0129:;<=>?@ABc-, 3221221791, 100

1 instance of:
  std.makepat(char *;int;char;char *;)int
    3221222389, %??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**??^[^9-B]@*?@**$, 0, 0, 134585161, null

1 instance of:
  std.main(int;char **;)int
    3, 3221222252

2 instances of:
  std.main(int;char **;)int
    3, 3221222258

1 instance of:
  std.makepat(char *;int;char;char *;)int
    3221222445, %[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[[%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[, 0, 0, 134585175, null

3 instances of:
  std.main(int;char **;)int
    3, 3221222248

3 instances of:
  std.main(int;char **;)int
    3, 3221222232

2 instances of:
  std.main(int;char **;)int
    3, 3221222238

1 instance of:
  std.main(int;char **;)int
    3, 3221222222

1 instance of:
  std.main(int;char **;)int
    3, 3221222271

1 instance of:
  std.main(int;char **;)int
    3, 3221222051

1 instance of:
  std.getccl(char *;int *;char *;int *;)boolean
    3221222323, #8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO-[^--z]-[^a--b][^0-9]@* *?-c, 3221221684, 265, 134585160, c#c8c|cGc=cxc$c)c8cBcic3c&c]c|c}c0cEcic%c$cscGcmcYc=c{cxc{c8cWcXcOc#c8c|cGc=cxc$c)c8cBcic3c&c]c|c}c0, 3221221680, 100

1 instance of:
  std.main(int;char **;)int
    3, 3221222267

3 instances of:
  std.main(int;char **;)int
    3, 3221222251

1 instance of:
  std.main(int;char **;)int
    3, 3221222157

1 instance of:
  std.main(int;char **;)int
    3, 3221222047

1 instance of:
  std.main(int;char **;)int
    2, 3221222262

2 instances of:
  std.main(int;char **;)int
    3, 3221222257

1 instance of:
  std.main(int;char **;)int
    3, 3221222241

1 instance of:
  std.main(int;char **;)int
    3, 3221222037

3 instances of:
  std.main(int;char **;)int
    3, 3221222231

1 instance of:
  std.main(int;char **;)int
    3, 3221222237

1 instance of:
  std.main(int;char **;)int
    3, 3221222221

1 instance of:
  std.getpat(char *;char *;)int
    3221222252, %@@$?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*?[^--z]c[^9-B][^9-B]c?*, 134585152, null

1 instance of:
  std.getpat(char *;char *;)int
    3221222323, #8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO#8|G=x$)8Bi3&]|}0Ei%$sGmY={x{8WXO-[^--z]-[^a--b][^0-9]@* *?-c, 134585160, null

1 instance of:
  std.main(int;char **;)int
    3, 3221221998

1 instance of:
  std.main(int;char **;)int
    3, 3221222260

1 instance of:
  std.main(int;char **;)int
    3, 3221221972

1 instance of:
  std.main(int;char **;)int
    3, 3221222217

2 instances of:
  std.main(int;char **;)int
    3, 3221222250

1 instance of:
  std.getpat(char *;char *;)int
    3221222360, %?[^@n]^[@@][0-9]??-]temp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.i-*[^a-b]-*-*[^a-b]-*-*[^a-b]-*-*[^a-b]-*n, 134585154, null

1 instance of:
  std.main(int;char **;)int
    3, 3221222240

1 instance of:
  std.main(int;char **;)int
    3, 3221222195

1 instance of:
  std.main(int;char **;)int
    3, 3221222085

1 instance of:
  std.main(int;char **;)int
    3, 3221222246

1 instance of:
  std.getpat(char *;char *;)int
    3221222445, %[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[[%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[%[-z][^9-B]?--[^9-B]-[^9-B][^9-B]-?@[, 134585175, null

2 instances of:
  std.main(int;char **;)int
    3, 3221222230

1 instance of:
  std.main(int;char **;)int
    2, 3221222257

1 instance of:
  std.makepat(char *;int;char;char *;)int
    3221222360, %?[^@n]^[@@][0-9]??-]temp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.intemp-test/1183.i-*[^a-b]-*-*[^a-b]-*-*[^a-b]-*-*[^a-b]-*n, 0, 0, 134585154, null

2 instances of:
  std.main(int;char **;)int
    3, 3221222236

1 instance of:
  std.main(int;char **;)int
    3, 3221222016

1 instance of:
  std.getpat(char *;char *;)int
    3221222554, %[^9-B]?[a-c-?a-][^a-]-?-[9-B][0-9][^a-c*[0-9][^0-9]@[[9-B][^a-c]$, 134585163, null

1 instance of:
  std.main(int;char **;)int
    3, 3221222275

End of report for procedures not returned from.

Read 1 declaration file, 0 spinfo files, 1 dtrace file
std.addstr(char;char *;int *;int;)int:::ENTER......1.1s
std.addstr(char;char *;int *;int;)int:::EXIT2......1.5s
std.amatch(char *;int;char *;int;)int:::ENTER......0.7s
std.amatch(char *;int;char *;int;)int:::EXIT16......0.9s
std.change(char *;char *;)void:::ENTER......0s
std.change(char *;char *;)void:::EXIT19......0s
std.dodash(char;char *;int *;char *;int *;int;)void:::ENTER......0.1s
std.dodash(char;char *;int *;char *;int *;int;)void:::EXIT4......0.1s
std.esc(char *;int *;)char:::ENTER......0.3s
std.esc(char *;int *;)char:::EXIT3......6.2s
std.getccl(char *;int *;char *;int *;)boolean:::ENTER......0.1s
std.getccl(char *;int *;char *;int *;)boolean:::EXIT5......0.3s
std.getline(char *;int;)boolean:::ENTER......0.1s
std.getline(char *;int;)boolean:::EXIT1......0.2s
std.getpat(char *;char *;)int:::ENTER......0s
std.getpat(char *;char *;)int:::EXIT10......0.1s
std.getsub(char *;char *;)boolean:::ENTER......0s
std.getsub(char *;char *;)boolean:::EXIT12......0.2s
std.in_pat_set(char;)boolean:::ENTER......0.1s
std.in_pat_set(char;)boolean:::EXIT8......0.3s
std.in_set_2(char;)boolean:::ENTER......0s
std.in_set_2(char;)boolean:::EXIT7......0s
std.locate(character;char *;int;)boolean:::ENTER......0s
std.locate(character;char *;int;)boolean:::EXIT13......0.1s
std.main(int;char **;)int:::ENTER......0s
std.main(int;char **;)int:::EXIT20......0s
std.makepat(char *;int;char;char *;)int:::ENTER......0s
std.makepat(char *;int;char;char *;)int:::EXIT9......0.1s
std.makesub(char *;int;character;char *;)int:::ENTER......0s
std.makesub(char *;int;character;char *;)int:::EXIT11......0.1s
std.omatch(char *;int *;char *;int;)boolean:::ENTER......0.8s
std.omatch(char *;int *;char *;int;)boolean:::EXIT14......2.4s
std.patsize(char *;int;)int:::ENTER......0.1s
std.patsize(char *;int;)int:::EXIT15......0.2s
std.putsub(char *;int;int;char *;)void:::ENTER......0s
std.putsub(char *;int;int;char *;)void:::EXIT17......0.1s
std.stclose(char *;int *;int;)void:::ENTER......0s
std.stclose(char *;int *;int;)void:::EXIT6......0s
std.subline(char *;char *;char *;)void:::ENTER......0.1s
std.subline(char *;char *;char *;)void:::EXIT18......0.1s
Exiting

### txt-daikon (replace)

rm -f replace.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post  replace.inv.gz &> replace.txt-daikon) || (mv replace.txt-daikon replace.txt-daikon-failed && false)

### textual diff (replace)

rm -f replace.txt-daikon.diff
diff -bu replace.txt-daikon.goal replace.txt-daikon > replace.txt-daikon.diff
cat replace.txt-daikon.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/replace'
ls: *.spinfo: No such file or directory
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/schedule'

### inv (schedule)

Number of lines in dtrace file(s):
1790230

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o schedule.inv.gz \
	--suppress_cont --suppress_post  \
	 --no_text_output \
	--show_progress \
	schedule.dtrace.gz \
	schedule.decls \
	 \
	) \
	|| (rm -f schedule.inv.gz && false)
Inv filename = schedule.inv.gz
Reading declaration files .
Reading data trace files .::::::::::::::
Read 1 declaration file, 0 spinfo files, 1 dtrace file
std.add_process(int;)void:::ENTER......0.3s
std.add_process(int;)void:::EXIT19......0.3s
std.append_ele(List *;Ele *;)List *:::ENTER......0.4s
std.append_ele(List *;Ele *;)List *:::EXIT3......0.5s
std.block_process()void:::ENTER......0.1s
std.block_process()void:::EXIT17......0.1s
std.del_ele(List *;Ele *;)List *:::ENTER......0.4s
std.del_ele(List *;Ele *;)List *:::EXIT7......0.5s
std.del_ele(List *;Ele *;)List *:::EXIT......0.5s
std.find_nth(List *;int;)Ele *:::ENTER......0.1s
std.find_nth(List *;int;)Ele *:::EXIT5......0.1s
std.find_nth(List *;int;)Ele *:::EXIT......0.1s
std.finish_all_processes()void:::ENTER......0.1s
std.finish_all_processes()void:::EXIT10......0.1s
std.finish_process()void:::ENTER......0.4s
std.finish_process()void:::EXIT9......0.5s
std.free_ele(Ele *;)void:::ENTER......0.3s
std.free_ele(Ele *;)void:::EXIT8......0.4s
std.init_prio_queue(int;int;)void:::ENTER......0.1s
std.init_prio_queue(int;int;)void:::EXIT20......0.2s
std.initialize()void:::ENTER......0s
std.initialize()void:::EXIT21......0s
std.main(int;char **;)int:::ENTER......0s
std.main(int;char **;)int:::EXIT25......0.1s
std.main(int;char **;)int:::EXIT......0.1s
std.new_ele(int;)Ele *:::ENTER......0.4s
std.new_ele(int;)Ele *:::EXIT1......0.6s
std.new_list()List *:::ENTER......0.1s
std.new_list()List *:::EXIT2......0.1s
std.new_process(int;)Ele *:::ENTER......0.6s
std.new_process(int;)Ele *:::EXIT18......0.6s
std.quantum_expire()void:::ENTER......0.1s
std.quantum_expire()void:::EXIT16......0.1s
std.schedule()void:::ENTER......0.4s
std.schedule()void:::EXIT11......0.5s
std.schedule()void:::EXIT12......0.1s
std.schedule()void:::EXIT......0.5s
std.unblock_process(float;)void:::ENTER......0.3s
std.unblock_process(float;)void:::EXIT15......0.2s
std.upgrade_process_prio(int;float;)void:::ENTER......0.2s
std.upgrade_process_prio(int;float;)void:::EXIT13......0.1s
std.upgrade_process_prio(int;float;)void:::EXIT14......0.1s
std.upgrade_process_prio(int;float;)void:::EXIT......0.2s
Exiting

### txt-daikon (schedule)

rm -f schedule.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post  schedule.inv.gz &> schedule.txt-daikon) || (mv schedule.txt-daikon schedule.txt-daikon-failed && false)

### textual diff (schedule)

rm -f schedule.txt-daikon.diff
diff -bu schedule.txt-daikon.goal schedule.txt-daikon > schedule.txt-daikon.diff
cat schedule.txt-daikon.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/schedule'
ls: *.spinfo: No such file or directory
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/schedule2'

### inv (schedule2)

Number of lines in dtrace file(s):
3808145

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o schedule2.inv.gz \
	--suppress_cont --suppress_post  \
	 --no_text_output \
	--show_progress \
	schedule2.dtrace.gz \
	schedule2.decls \
	 \
	) \
	|| (rm -f schedule2.inv.gz && false)
Inv filename = schedule2.inv.gz
Reading declaration files .
Reading data trace files .:::::::::::::::::::::::::::::::
No return from procedure observed 1000 times.
Remaining call stack:
1 instance of:
  std.exit_here(int;)int
    0, 42

11 instances of:
  std.main(int;char **;)int
    4, 3221222107, 0

2 instances of:
  std.exit_here(int;)int
    0, 32

1 instance of:
  std.exit_here(int;)int
    0, 38

19 instances of:
  std.exit_here(int;)int
    0, 22

10 instances of:
  std.main(int;char **;)int
    4, 3221222123, 0

42 instances of:
  std.exit_here(int;)int
    0, 3

5 instances of:
  std.exit_here(int;)int
    0, 28

12 instances of:
  std.exit_here(int;)int
    0, 12

20 instances of:
  std.main(int;char **;)int
    4, 3221222112, 0

13 instances of:
  std.exit_here(int;)int
    0, 9

12 instances of:
  std.exit_here(int;)int
    0, 18

16 instances of:
  std.main(int;char **;)int
    4, 3221222128, 0

15 instances of:
  std.main(int;char **;)int
    4, 3221222101, 0

19 instances of:
  std.main(int;char **;)int
    4, 3221222117, 0

1 instance of:
  std.exit_here(int;)int
    0, 41

19 instances of:
  std.main(int;char **;)int
    4, 3221222106, 0

6 instances of:
  std.exit_here(int;)int
    0, 31

5 instances of:
  std.exit_here(int;)int
    0, 37

18 instances of:
  std.exit_here(int;)int
    0, 21

47 instances of:
  std.exit_here(int;)int
    0, 2

12 instances of:
  std.exit_here(int;)int
    0, 27

16 instances of:
  std.main(int;char **;)int
    4, 3221222122, 0

9 instances of:
  std.exit_here(int;)int
    0, 11

12 instances of:
  std.exit_here(int;)int
    0, 8

12 instances of:
  std.exit_here(int;)int
    0, 17

14 instances of:
  std.main(int;char **;)int
    4, 3221222111, 0

18 instances of:
  std.main(int;char **;)int
    4, 3221222127, 0

2 instances of:
  std.exit_here(int;)int
    0, 40

15 instances of:
  std.main(int;char **;)int
    4, 3221222116, 0

8 instances of:
  std.exit_here(int;)int
    0, 30

14 instances of:
  std.main(int;char **;)int
    4, 3221222105, 0

4 instances of:
  std.exit_here(int;)int
    0, 36

12 instances of:
  std.exit_here(int;)int
    0, 20

41 instances of:
  std.exit_here(int;)int
    0, 1

12 instances of:
  std.exit_here(int;)int
    0, 26

12 instances of:
  std.main(int;char **;)int
    4, 3221222132, 0

14 instances of:
  std.exit_here(int;)int
    0, 10

11 instances of:
  std.exit_here(int;)int
    0, 7

12 instances of:
  std.exit_here(int;)int
    0, 16

11 instances of:
  std.main(int;char **;)int
    4, 3221222121, 0

19 instances of:
  std.main(int;char **;)int
    4, 3221222110, 0

17 instances of:
  std.main(int;char **;)int
    4, 3221222126, 0

18 instances of:
  std.main(int;char **;)int
    4, 3221222115, 0

2 instances of:
  std.exit_here(int;)int
    0, 35

17 instances of:
  std.main(int;char **;)int
    4, 3221222104, 0

5 instances of:
  std.exit_here(int;)int
    0, 0

16 instances of:
  std.exit_here(int;)int
    0, 25

13 instances of:
  std.main(int;char **;)int
    4, 3221222131, 0

8 instances of:
  std.exit_here(int;)int
    0, 6

15 instances of:
  std.exit_here(int;)int
    0, 15

16 instances of:
  std.main(int;char **;)int
    4, 3221222109, 0

21 instances of:
  std.main(int;char **;)int
    4, 3221222120, 0

14 instances of:
  std.main(int;char **;)int
    4, 3221222125, 0

3 instances of:
  std.exit_here(int;)int
    0, 34

12 instances of:
  std.main(int;char **;)int
    4, 3221222114, 0

15 instances of:
  std.exit_here(int;)int
    0, 24

10 instances of:
  std.main(int;char **;)int
    4, 3221222103, 0

12 instances of:
  std.exit_here(int;)int
    0, 5

16 instances of:
  std.exit_here(int;)int
    0, 14

12 instances of:
  std.main(int;char **;)int
    4, 3221222119, 0

15 instances of:
  std.main(int;char **;)int
    4, 3221222130, 0

24 instances of:
  std.main(int;char **;)int
    4, 3221222108, 0

3 instances of:
  std.exit_here(int;)int
    0, 33

15 instances of:
  std.main(int;char **;)int
    4, 3221222124, 0

13 instances of:
  std.exit_here(int;)int
    0, 23

18 instances of:
  std.main(int;char **;)int
    4, 3221222113, 0

19 instances of:
  std.exit_here(int;)int
    0, 4

7 instances of:
  std.exit_here(int;)int
    0, 29

9 instances of:
  std.exit_here(int;)int
    0, 13

19 instances of:
  std.main(int;char **;)int
    4, 3221222129, 0

18 instances of:
  std.main(int;char **;)int
    4, 3221222102, 0

12 instances of:
  std.exit_here(int;)int
    0, 19

12 instances of:
  std.main(int;char **;)int
    4, 3221222118, 0

End of report for procedures not returned from.

Read 1 declaration file, 0 spinfo files, 1 dtrace file
std.block()int:::ENTER......0.1s
std.block()int:::EXIT11......0.1s
std.block()int:::EXIT12......0s
std.block()int:::EXIT......0.1s
std.enqueue(int;process *;)int:::ENTER......0.4s
std.enqueue(int;process *;)int:::EXIT2......0.6s
std.enqueue(int;process *;)int:::EXIT......0.6s
std.exit_here(int;)int:::ENTER......0s
std.finish()int:::ENTER......0.1s
std.finish()int:::EXIT17......0.1s
std.finish()int:::EXIT18......0.1s
std.finish()int:::EXIT......0.2s
std.flush()int:::ENTER......0s
std.flush()int:::EXIT19......0.1s
std.get_command(int *;int *;float *;)int:::ENTER......1.1s
std.get_command(int *;int *;float *;)int:::EXIT4......1.8s
std.get_command(int *;int *;float *;)int:::EXIT5......0.1s
std.get_command(int *;int *;float *;)int:::EXIT......1.8s
std.get_current()process *:::ENTER......0.2s
std.get_current()process *:::EXIT20......0.3s
std.get_process(int;float;process **;)int:::ENTER......2.4s
std.get_process(int;float;process **;)int:::EXIT27......0.5s
std.get_process(int;float;process **;)int:::EXIT28......2.7s
std.get_process(int;float;process **;)int:::EXIT......3.6s
std.main(int;char **;)int:::ENTER......0s
std.new_job(int;)int:::ENTER......0.4s
std.new_job(int;)int:::EXIT7......0.5s
std.put_end(int;process *;)int:::ENTER......0.4s
std.put_end(int;process *;)int:::EXIT24......0.6s
std.put_end(int;process *;)int:::EXIT......0.6s
std.quantum_expire()int:::ENTER......0s
std.quantum_expire()int:::EXIT15......0s
std.quantum_expire()int:::EXIT16......0s
std.quantum_expire()int:::EXIT......0.1s
std.reschedule(int;)int:::ENTER......0.5s
std.reschedule(int;)int:::EXIT21......0.6s
std.schedule(int;int;float;)int:::ENTER......0.8s
std.schedule(int;int;float;)int:::EXIT22......1.4s
std.unblock(float;)int:::ENTER......0.1s
std.unblock(float;)int:::EXIT13......0.1s
std.unblock(float;)int:::EXIT14......0.1s
std.unblock(float;)int:::EXIT......0.2s
std.upgrade_prio(int;float;)int:::ENTER......0.1s
std.upgrade_prio(int;float;)int:::EXIT10......0s
std.upgrade_prio(int;float;)int:::EXIT8......0.1s
std.upgrade_prio(int;float;)int:::EXIT9......0.1s
std.upgrade_prio(int;float;)int:::EXIT......0.2s
Exiting

### txt-daikon (schedule2)

rm -f schedule2.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post  schedule2.inv.gz &> schedule2.txt-daikon) || (mv schedule2.txt-daikon schedule2.txt-daikon-failed && false)

### textual diff (schedule2)

rm -f schedule2.txt-daikon.diff
diff -bu schedule2.txt-daikon.goal schedule2.txt-daikon > schedule2.txt-daikon.diff
cat schedule2.txt-daikon.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/schedule2'
ls: *.spinfo: No such file or directory
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/tcas'

### inv (tcas)

Number of lines in dtrace file(s):
 213872

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o tcas.inv.gz \
	--suppress_cont --suppress_post  \
	 --no_text_output \
	--show_progress \
	tcas.dtrace.gz \
	tcas.decls \
	 \
	) \
	|| (rm -f tcas.inv.gz && false)
Inv filename = tcas.inv.gz
Reading declaration files .
Reading data trace files .
No return from procedure observed 500 times.
Remaining call stack:
4 instances of:
  std.main(int;char **;)int
    13, 3221222212, 0, 0, 0, 0, 0, 0, 0, 134570288, null, 0, 0, 0, 0, 0

2 instances of:
  std.main(int;char **;)int
    13, 3221222192, 0, 0, 0, 0, 0, 0, 0, 134570268, null, 0, 0, 0, 0, 0

17 instances of:
  std.main(int;char **;)int
    13, 3221222176, 0, 0, 0, 0, 0, 0, 0, 134570268, null, 0, 0, 0, 0, 0

12 instances of:
  std.main(int;char **;)int
    13, 3221222191, 0, 0, 0, 0, 0, 0, 0, 134570283, null, 0, 0, 0, 0, 0

4 instances of:
  std.main(int;char **;)int
    13, 3221222194, 0, 0, 0, 0, 0, 0, 0, 134570270, null, 0, 0, 0, 0, 0

9 instances of:
  std.main(int;char **;)int
    13, 3221222178, 0, 0, 0, 0, 0, 0, 0, 134570270, null, 0, 0, 0, 0, 0

11 instances of:
  std.main(int;char **;)int
    13, 3221222187, 0, 0, 0, 0, 0, 0, 0, 134570279, null, 0, 0, 0, 0, 0

11 instances of:
  std.main(int;char **;)int
    13, 3221222189, 0, 0, 0, 0, 0, 0, 0, 134570281, null, 0, 0, 0, 0, 0

8 instances of:
  std.main(int;char **;)int
    13, 3221222210, 0, 0, 0, 0, 0, 0, 0, 134570286, null, 0, 0, 0, 0, 0

7 instances of:
  std.main(int;char **;)int
    13, 3221222174, 0, 0, 0, 0, 0, 0, 0, 134570266, null, 0, 0, 0, 0, 0

6 instances of:
  std.main(int;char **;)int
    13, 3221222190, 0, 0, 0, 0, 0, 0, 0, 134570266, null, 0, 0, 0, 0, 0

2 instances of:
  std.main(int;char **;)int
    13, 3221222208, 0, 0, 0, 0, 0, 0, 0, 134570284, null, 0, 0, 0, 0, 0

7 instances of:
  std.main(int;char **;)int
    13, 3221222185, 0, 0, 0, 0, 0, 0, 0, 134570277, null, 0, 0, 0, 0, 0

1 instance of:
  std.main(int;char **;)int
    13, 3221222188, 0, 0, 0, 0, 0, 0, 0, 134570264, null, 0, 0, 0, 0, 0

12 instances of:
  std.main(int;char **;)int
    13, 3221222196, 0, 0, 0, 0, 0, 0, 0, 134570288, null, 0, 0, 0, 0, 0

24 instances of:
  std.main(int;char **;)int
    13, 3221222172, 0, 0, 0, 0, 0, 0, 0, 134570264, null, 0, 0, 0, 0, 0

3 instances of:
  std.main(int;char **;)int
    13, 3221222199, 0, 0, 0, 0, 0, 0, 0, 134570275, null, 0, 0, 0, 0, 0

7 instances of:
  std.main(int;char **;)int
    13, 3221222206, 0, 0, 0, 0, 0, 0, 0, 134570282, null, 0, 0, 0, 0, 0

13 instances of:
  std.main(int;char **;)int
    13, 3221222183, 0, 0, 0, 0, 0, 0, 0, 134570275, null, 0, 0, 0, 0, 0

4 instances of:
  std.main(int;char **;)int
    13, 3221222186, 0, 0, 0, 0, 0, 0, 0, 134570262, null, 0, 0, 0, 0, 0

18 instances of:
  std.main(int;char **;)int
    13, 3221222194, 0, 0, 0, 0, 0, 0, 0, 134570286, null, 0, 0, 0, 0, 0

11 instances of:
  std.main(int;char **;)int
    13, 3221222170, 0, 0, 0, 0, 0, 0, 0, 134570262, null, 0, 0, 0, 0, 0

1 instance of:
  std.main(int;char **;)int
    13, 3221222197, 0, 0, 0, 0, 0, 0, 0, 134570273, null, 0, 0, 0, 0, 0

3 instances of:
  std.main(int;char **;)int
    13, 3221222202, 0, 0, 0, 0, 0, 0, 0, 134570278, null, 0, 0, 0, 0, 0

15 instances of:
  std.main(int;char **;)int
    13, 3221222166, 0, 0, 0, 0, 0, 0, 0, 134570258, null, 0, 0, 0, 0, 0

14 instances of:
  std.main(int;char **;)int
    13, 3221222181, 0, 0, 0, 0, 0, 0, 0, 134570273, null, 0, 0, 0, 0, 0

2 instances of:
  std.main(int;char **;)int
    13, 3221222182, 0, 0, 0, 0, 0, 0, 0, 134570258, null, 0, 0, 0, 0, 0

5 instances of:
  std.main(int;char **;)int
    13, 3221222204, 0, 0, 0, 0, 0, 0, 0, 134570280, null, 0, 0, 0, 0, 0

3 instances of:
  std.main(int;char **;)int
    13, 3221222184, 0, 0, 0, 0, 0, 0, 0, 134570260, null, 0, 0, 0, 0, 0

3 instances of:
  std.main(int;char **;)int
    13, 3221222193, 0, 0, 0, 0, 0, 0, 0, 134570269, null, 0, 0, 0, 0, 0

9 instances of:
  std.main(int;char **;)int
    13, 3221222168, 0, 0, 0, 0, 0, 0, 0, 134570260, null, 0, 0, 0, 0, 0

9 instances of:
  std.main(int;char **;)int
    13, 3221222177, 0, 0, 0, 0, 0, 0, 0, 134570269, null, 0, 0, 0, 0, 0

14 instances of:
  std.main(int;char **;)int
    13, 3221222192, 0, 0, 0, 0, 0, 0, 0, 134570284, null, 0, 0, 0, 0, 0

2 instances of:
  std.main(int;char **;)int
    13, 3221222195, 0, 0, 0, 0, 0, 0, 0, 134570271, null, 0, 0, 0, 0, 0

3 instances of:
  std.main(int;char **;)int
    13, 3221222200, 0, 0, 0, 0, 0, 0, 0, 134570276, null, 0, 0, 0, 0, 0

12 instances of:
  std.main(int;char **;)int
    13, 3221222179, 0, 0, 0, 0, 0, 0, 0, 134570271, null, 0, 0, 0, 0, 0

2 instances of:
  std.main(int;char **;)int
    13, 3221222211, 0, 0, 0, 0, 0, 0, 0, 134570287, null, 0, 0, 0, 0, 0

9 instances of:
  std.main(int;char **;)int
    13, 3221222175, 0, 0, 0, 0, 0, 0, 0, 134570267, null, 0, 0, 0, 0, 0

15 instances of:
  std.main(int;char **;)int
    13, 3221222190, 0, 0, 0, 0, 0, 0, 0, 134570282, null, 0, 0, 0, 0, 0

2 instances of:
  std.main(int;char **;)int
    13, 3221222191, 0, 0, 0, 0, 0, 0, 0, 134570267, null, 0, 0, 0, 0, 0

2 instances of:
  std.main(int;char **;)int
    13, 3221222209, 0, 0, 0, 0, 0, 0, 0, 134570285, null, 0, 0, 0, 0, 0

17 instances of:
  std.main(int;char **;)int
    13, 3221222186, 0, 0, 0, 0, 0, 0, 0, 134570278, null, 0, 0, 0, 0, 0

6 instances of:
  std.main(int;char **;)int
    13, 3221222189, 0, 0, 0, 0, 0, 0, 0, 134570265, null, 0, 0, 0, 0, 0

11 instances of:
  std.main(int;char **;)int
    13, 3221222188, 0, 0, 0, 0, 0, 0, 0, 134570280, null, 0, 0, 0, 0, 0

6 instances of:
  std.main(int;char **;)int
    13, 3221222173, 0, 0, 0, 0, 0, 0, 0, 134570265, null, 0, 0, 0, 0, 0

3 instances of:
  std.main(int;char **;)int
    13, 3221222207, 0, 0, 0, 0, 0, 0, 0, 134570283, null, 0, 0, 0, 0, 0

16 instances of:
  std.main(int;char **;)int
    13, 3221222184, 0, 0, 0, 0, 0, 0, 0, 134570276, null, 0, 0, 0, 0, 0

4 instances of:
  std.main(int;char **;)int
    13, 3221222187, 0, 0, 0, 0, 0, 0, 0, 134570263, null, 0, 0, 0, 0, 0

12 instances of:
  std.main(int;char **;)int
    13, 3221222195, 0, 0, 0, 0, 0, 0, 0, 134570287, null, 0, 0, 0, 0, 0

15 instances of:
  std.main(int;char **;)int
    13, 3221222171, 0, 0, 0, 0, 0, 0, 0, 134570263, null, 0, 0, 0, 0, 0

2 instances of:
  std.main(int;char **;)int
    13, 3221222198, 0, 0, 0, 0, 0, 0, 0, 134570274, null, 0, 0, 0, 0, 0

2 instances of:
  std.main(int;char **;)int
    13, 3221222203, 0, 0, 0, 0, 0, 0, 0, 134570279, null, 0, 0, 0, 0, 0

2 instances of:
  std.main(int;char **;)int
    13, 3221222183, 0, 0, 0, 0, 0, 0, 0, 134570259, null, 0, 0, 0, 0, 0

16 instances of:
  std.main(int;char **;)int
    13, 3221222167, 0, 0, 0, 0, 0, 0, 0, 134570259, null, 0, 0, 0, 0, 0

10 instances of:
  std.main(int;char **;)int
    13, 3221222182, 0, 0, 0, 0, 0, 0, 0, 134570274, null, 0, 0, 0, 0, 0

1 instance of:
  std.main(int;char **;)int
    13, 3221222205, 0, 0, 0, 0, 0, 0, 0, 134570281, null, 0, 0, 0, 0, 0

3 instances of:
  std.main(int;char **;)int
    13, 3221222185, 0, 0, 0, 0, 0, 0, 0, 134570261, null, 0, 0, 0, 0, 0

13 instances of:
  std.main(int;char **;)int
    13, 3221222169, 0, 0, 0, 0, 0, 0, 0, 134570261, null, 0, 0, 0, 0, 0

12 instances of:
  std.main(int;char **;)int
    13, 3221222193, 0, 0, 0, 0, 0, 0, 0, 134570285, null, 0, 0, 0, 0, 0

1 instance of:
  std.main(int;char **;)int
    13, 3221222196, 0, 0, 0, 0, 0, 0, 0, 134570272, null, 0, 0, 0, 0, 0

3 instances of:
  std.main(int;char **;)int
    13, 3221222201, 0, 0, 0, 0, 0, 0, 0, 134570277, null, 0, 0, 0, 0, 0

14 instances of:
  std.main(int;char **;)int
    13, 3221222165, 0, 0, 0, 0, 0, 0, 0, 134570257, null, 0, 0, 0, 0, 0

8 instances of:
  std.main(int;char **;)int
    13, 3221222180, 0, 0, 0, 0, 0, 0, 0, 134570272, null, 0, 0, 0, 0, 0

5 instances of:
  std.main(int;char **;)int
    13, 3221222181, 0, 0, 0, 0, 0, 0, 0, 134570257, null, 0, 0, 0, 0, 0

End of report for procedures not returned from.

Read 1 declaration file, 0 spinfo files, 1 dtrace file
std.ALIM()int:::ENTER......0.3s
std.ALIM()int:::EXIT2......0.3s
std.Inhibit_Biased_Climb()int:::ENTER......0.1s
std.Inhibit_Biased_Climb()int:::EXIT3......0.3s
std.Non_Crossing_Biased_Climb()boolean:::ENTER......0.1s
std.Non_Crossing_Biased_Climb()boolean:::EXIT4......0.6s
std.Non_Crossing_Biased_Descend()boolean:::ENTER......0.2s
std.Non_Crossing_Biased_Descend()boolean:::EXIT5......0.5s
std.Own_Above_Threat()boolean:::ENTER......0.1s
std.Own_Above_Threat()boolean:::EXIT7......0.5s
std.Own_Below_Threat()boolean:::ENTER......0.2s
std.Own_Below_Threat()boolean:::EXIT6......0.5s
std.alt_sep_test()int:::ENTER......0.2s
std.alt_sep_test()int:::EXIT8......0.4s
std.initialize()void:::ENTER......0s
std.initialize()void:::EXIT1......0.1s
std.main(int;char **;)int:::ENTER......0.1s
Exiting

### txt-daikon (tcas)

rm -f tcas.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post  tcas.inv.gz &> tcas.txt-daikon) || (mv tcas.txt-daikon tcas.txt-daikon-failed && false)

### textual diff (tcas)

rm -f tcas.txt-daikon.diff
diff -bu tcas.txt-daikon.goal tcas.txt-daikon > tcas.txt-daikon.diff
cat tcas.txt-daikon.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/tcas'
ls: *.spinfo: No such file or directory
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/tot_info'

### inv (tot_info)

Number of lines in dtrace file(s):
 313229

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o tot_info.inv.gz \
	--suppress_cont --suppress_post  \
	 --no_text_output \
	--show_progress \
	tot_info.dtrace.gz \
	tot_info.decls \
	 \
	) \
	|| (rm -f tot_info.inv.gz && false)
Inv filename = tot_info.inv.gz
Reading declaration files .
Reading data trace files .:
Read 1 declaration file, 0 spinfo files, 1 dtrace file
std.InfoTbl(int;int;const long *;int *;)double:::ENTER......0.9s
std.InfoTbl(int;int;const long *;int *;)double:::EXIT15......0.7s
std.LGamma(double;)double:::ENTER......0.2s
std.LGamma(double;)double:::EXIT6......0.1s
std.LGamma(double;)double:::EXIT7......0.4s
std.LGamma(double;)double:::EXIT......0.3s
std.QChiSq(double;int;)double:::ENTER......0.2s
std.QChiSq(double;int;)double:::EXIT14......0.3s
std.QGamma(double;double;)double:::ENTER......0.2s
std.QGamma(double;double;)double:::EXIT13......0.3s
std.gcf(double;double;)double:::ENTER......0.1s
std.gcf(double;double;)double:::EXIT11......0.2s
std.gcf(double;double;)double:::EXIT......0.2s
std.gser(double;double;)double:::ENTER......0.1s
std.gser(double;double;)double:::EXIT8......0s
std.gser(double;double;)double:::EXIT9......0.1s
std.gser(double;double;)double:::EXIT......0.1s
std.main(int;char **;)int:::ENTER......0s
std.main(int;char **;)int:::EXIT1......0s
std.main(int;char **;)int:::EXIT2......0s
std.main(int;char **;)int:::EXIT3......0.1s
std.main(int;char **;)int:::EXIT4......0s
std.main(int;char **;)int:::EXIT5......0.1s
std.main(int;char **;)int:::EXIT......0.1s
Exiting

### txt-daikon (tot_info)

rm -f tot_info.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post  tot_info.inv.gz &> tot_info.txt-daikon) || (mv tot_info.txt-daikon tot_info.txt-daikon-failed && false)

### textual diff (tot_info)

rm -f tot_info.txt-daikon.diff
diff -bu tot_info.txt-daikon.goal tot_info.txt-daikon > tot_info.txt-daikon.diff
cat tot_info.txt-daikon.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/tot_info'
ls: *.spinfo: No such file or directory
make[4]: Entering directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/space'

### inv (space)

Number of lines in dtrace file(s):
6385586

(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.Daikon -o space.inv.gz \
	--suppress_cont --suppress_post  \
	 --no_text_output \
	--show_progress \
	space.dtrace.gz \
	space.decls \
	 \
	) \
	|| (rm -f space.inv.gz && false)
Inv filename = space.inv.gz
Reading declaration files .
Reading data trace files .::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
No return from procedure observed 422 times.
Remaining call stack:
3 instances of:
  std.simgroup(Group *;)int
    135149592

1 instance of:
  std.sgramp2n(GrAmpExc *;Geomnode *;Port *;int;)int
    2, 135149595

1 instance of:
  std.simpha(Group *;)int
    135149587

2 instances of:
  std.main(int;char **;)int
    4, 3221221874, 135149598

1 instance of:
  std.simgroup(Group *;)int
    135149598

2 instances of:
  std.main(int;char **;)int
    4, 3221221858, 135149582

2 instances of:
  std.fixsgrel(Group *;)int
    135149591

1 instance of:
  std.main(int;char **;)int
    2, 3221221861, 135149585

1 instance of:
  std.main(int;char **;)int
    2, 3221221850, 135149574

9 instances of:
  std.main(int;char **;)int
    2, 3221221845, 135149585

12 instances of:
  std.main(int;char **;)int
    2, 3221221834, 135149574

2 instances of:
  std.fixsgrel(Group *;)int
    135149597

1 instance of:
  std.simgroup(Group *;)int
    135149572

2 instances of:
  std.fixsgrel(Group *;)int
    135149581

1 instance of:
  std.simamp(Group *;)int
    135149586

3 instances of:
  std.simgroup(Group *;)int
    135149578

3 instances of:
  std.fixsgrel(Group *;)int
    135149587

4 instances of:
  std.main(int;char **;)int
    2, 3221221865, 135149589

8 instances of:
  std.main(int;char **;)int
    2, 3221221852, 135149592

9 instances of:
  std.main(int;char **;)int
    2, 3221221841, 135149581

7 instances of:
  std.main(int;char **;)int
    2, 3221221849, 135149589

1 instance of:
  std.fixsgrel(Group *;)int
    135149571

2 instances of:
  std.main(int;char **;)int
    2, 3221221849, 135149573

1 instance of:
  std.fixsgrel(Group *;)int
    135149577

3 instances of:
  std.main(int;char **;)int
    4, 3221221853, 135149577

16 instances of:
  std.main(int;char **;)int
    2, 3221221856, 135149596

1 instance of:
  std.main(int;char **;)int
    2, 3221221856, 135149580

1 instance of:
  std.main(int;char **;)int
    2, 3221221867, 135149591

2 instances of:
  std.simgroup(Group *;)int
    135149591

2 instances of:
  std.simgroup(Group *;)int
    135149597

1 instance of:
  std.fixsgrel(Group *;)int
    135149590

2 instances of:
  std.simgroup(Group *;)int
    135149581

1 instance of:
  std.main(int;char **;)int
    4, 3221221860, 135149584

5 instances of:
  std.main(int;char **;)int
    2, 3221221831, 135149571

1 instance of:
  std.simamp(Group *;)int
    135149595

3 instances of:
  std.fixsgrel(Group *;)int
    135149596

3 instances of:
  std.simgroup(Group *;)int
    135149587

1 instance of:
  std.simgroup(Group *;)int
    135149571

2 instances of:
  std.fixsgrel(Group *;)int
    135149586

1 instance of:
  std.simgroup(Group *;)int
    135149577

1 instance of:
  std.fixsgrel(Group *;)int
    135149570

2 instances of:
  std.main(int;char **;)int
    4, 3221221875, 135149599

1 instance of:
  std.main(int;char **;)int
    4, 3221221859, 135149583

1 instance of:
  std.main(int;char **;)int
    2, 3221221851, 135149575

10 instances of:
  std.main(int;char **;)int
    2, 3221221835, 135149575

6 instances of:
  std.main(int;char **;)int
    2, 3221221846, 135149586

1 instance of:
  std.main(int;char **;)int
    2, 3221221846, 135149570

1 instance of:
  std.simpha(Group *;)int
    135149595

1 instance of:
  std.simgroup(Group *;)int
    135149590

8 instances of:
  std.main(int;char **;)int
    2, 3221221853, 135149593

7 instances of:
  std.main(int;char **;)int
    2, 3221221842, 135149582

7 instances of:
  std.main(int;char **;)int
    2, 3221221839, 135149579

3 instances of:
  std.simgroup(Group *;)int
    135149596

1 instance of:
  std.main(int;char **;)int
    4, 3221221854, 135149578

1 instance of:
  std.sgrpha2n(GrPhaExc *;Geomnode *;Port *;int;)int
    2, 135149587

2 instances of:
  std.simgroup(Group *;)int
    135149586

1 instance of:
  std.main(int;char **;)int
    2, 3221221873, 135149597

1 instance of:
  std.simgroup(Group *;)int
    135149570

9 instances of:
  std.main(int;char **;)int
    2, 3221221857, 135149597

1 instance of:
  std.fixsgrel(Group *;)int
    135149585

1 instance of:
  std.main(int;char **;)int
    4, 3221221850, 135149574

1 instance of:
  std.fixsgrel(Group *;)int
    135149575

8 instances of:
  std.main(int;char **;)int
    2, 3221221829, 135149569

1 instance of:
  std.main(int;char **;)int
    4, 3221221849, 135149573

1 instance of:
  std.main(int;char **;)int
    2, 3221221863, 135149587

11 instances of:
  std.main(int;char **;)int
    2, 3221221836, 135149576

1 instance of:
  std.sgramp2n(GrAmpExc *;Geomnode *;Port *;int;)int
    2, 135149598

1 instance of:
  std.simgroup(Group *;)int
    135149585

2 instances of:
  std.fixsgrel(Group *;)int
    135149594

1 instance of:
  std.main(int;char **;)int
    5, 3221221832, 135149572

1 instance of:
  std.main(int;char **;)int
    4, 3221221856, 135149580

10 instances of:
  std.main(int;char **;)int
    2, 3221221843, 135149583

5 instances of:
  std.main(int;char **;)int
    2, 3221221832, 135149572

9 instances of:
  std.main(int;char **;)int
    2, 3221221854, 135149594

1 instance of:
  std.simgroup(Group *;)int
    135149575

1 instance of:
  std.fixsgrel(Group *;)int
    135149584

2 instances of:
  std.main(int;char **;)int
    4, 3221221855, 135149579

1 instance of:
  std.main(int;char **;)int
    2, 3221221874, 135149598

11 instances of:
  std.main(int;char **;)int
    2, 3221221858, 135149598

11 instances of:
  std.main(int;char **;)int
    2, 3221221850, 135149590

7 instances of:
  std.main(int;char **;)int
    2, 3221221847, 135149587

2 instances of:
  std.main(int;char **;)int
    2, 3221221858, 135149582

1 instance of:
  std.sgramp2n(GrAmpExc *;Geomnode *;Port *;int;)int
    2, 135149591

2 instances of:
  std.simgroup(Group *;)int
    135149594

1 instance of:
  std.sgrpha2n(GrPhaExc *;Geomnode *;Port *;int;)int
    2, 135149595

1 instance of:
  std.main(int;char **;)int
    4, 3221221846, 135149570

1 instance of:
  std.simgroup(Group *;)int
    135149584

1 instance of:
  std.simamp(Group *;)int
    135149598

4 instances of:
  std.main(int;char **;)int
    2, 3221221860, 135149600

1 instance of:
  std.main(int;char **;)int
    3, 3221221861, 135149585

3 instances of:
  std.fixsgrel(Group *;)int
    135149583

1 instance of:
  std.main(int;char **;)int
    2, 3221221853, 135149577

11 instances of:
  std.main(int;char **;)int
    2, 3221221837, 135149577

3 instances of:
  std.fixsgrel(Group *;)int
    135149589

2 instances of:
  std.main(int;char **;)int
    4, 3221221873, 135149597

3 instances of:
  std.main(int;char **;)int
    4, 3221221868, 135149592

2 instances of:
  std.fixsgrel(Group *;)int
    135149579

1 instance of:
  std.main(int;char **;)int
    2, 3221221860, 135149584

7 instances of:
  std.main(int;char **;)int
    2, 3221221833, 135149573

7 instances of:
  std.main(int;char **;)int
    2, 3221221855, 135149595

10 instances of:
  std.main(int;char **;)int
    2, 3221221844, 135149584

1 instance of:
  std.main(int;char **;)int
    5, 3221221837, 135149577

1 instance of:
  std.main(int;char **;)int
    4, 3221221845, 135149569

2 instances of:
  std.main(int;char **;)int
    2, 3221221875, 135149599

1 instance of:
  std.main(int;char **;)int
    2, 3221221864, 135149588

1 instance of:
  std.main(int;char **;)int
    3, 3221221856, 135149580

8 instances of:
  std.main(int;char **;)int
    2, 3221221851, 135149591

9 instances of:
  std.main(int;char **;)int
    2, 3221221848, 135149588

7 instances of:
  std.main(int;char **;)int
    2, 3221221840, 135149580

8 instances of:
  std.main(int;char **;)int
    2, 3221221859, 135149599

1 instance of:
  std.main(int;char **;)int
    2, 3221221859, 135149583

1 instance of:
  std.simamp(Group *;)int
    135149591

3 instances of:
  std.fixsgrel(Group *;)int
    135149592

3 instances of:
  std.simgroup(Group *;)int
    135149583

1 instance of:
  std.sgramp2n(GrAmpExc *;Geomnode *;Port *;int;)int
    2, 135149586

1 instance of:
  std.fixsgrel(Group *;)int
    135149598

3 instances of:
  std.simgroup(Group *;)int
    135149589

1 instance of:
  std.main(int;char **;)int
    4, 3221221852, 135149576

4 instances of:
  std.main(int;char **;)int
    2, 3221221866, 135149590

2 instances of:
  std.simgroup(Group *;)int
    135149579

1 instance of:
  std.fixsgrel(Group *;)int
    135149572

3 instances of:
  std.fixsgrel(Group *;)int
    135149578

1 instance of:
  std.main(int;char **;)int
    4, 3221221870, 135149594

2 instances of:
  std.main(int;char **;)int
    2, 3221221854, 135149578

5 instances of:
  std.main(int;char **;)int
    2, 3221221830, 135149570

12 instances of:
  std.main(int;char **;)int
    2, 3221221838, 135149578

End of report for procedures not returned from.

Read 1 declaration file, 0 spinfo files, 1 dtrace file
std.Get1Real(charac *;charac **;double *;)int:::ENTER......0.3s
std.Get1Real(charac *;charac **;double *;)int:::EXIT120......0.3s
std.Get1Real(charac *;charac **;double *;)int:::EXIT121......0.1s
std.Get1Real(charac *;charac **;double *;)int:::EXIT......0.1s
std.GetInt(charac *;charac **;int *;)int:::ENTER......0.2s
std.GetInt(charac *;charac **;int *;)int:::EXIT124......0.6s
std.GetInt(charac *;charac **;int *;)int:::EXIT......0.5s
std.GetKeyword(char *;charac **;)int:::ENTER......1.3s
std.GetKeyword(char *;charac **;)int:::EXIT125......0.7s
std.GetKeyword(char *;charac **;)int:::EXIT126......1.1s
std.GetKeyword(char *;charac **;)int:::EXIT......2.1s
std.GetNatur(charac *;charac **;int *;)int:::ENTER......0s
std.GetNatur(charac *;charac **;int *;)int:::EXIT130......0.1s
std.GetNatur(charac *;charac **;int *;)int:::EXIT......0.1s
std.GetReal(double *;charac **;)int:::ENTER......0.2s
std.GetReal(double *;charac **;)int:::EXIT131......0s
std.GetReal(double *;charac **;)int:::EXIT132......0.4s
std.GetReal(double *;charac **;)int:::EXIT......0.4s
std.GetUName(char *;charac **;)int:::ENTER......0.1s
std.GetUName(char *;charac **;)int:::EXIT135......0s
std.GetUName(char *;charac **;)int:::EXIT136......0s
std.GetUName(char *;charac **;)int:::EXIT......0.1s
std.GetUReal(charac *;charac **;double *;)int:::ENTER......0s
std.GetUReal(charac *;charac **;double *;)int:::EXIT139......0.1s
std.GetUReal(charac *;charac **;double *;)int:::EXIT......0.1s
std.InKWords(char *;)int:::ENTER......0.1s
std.InKWords(char *;)int:::EXIT195......0s
std.InKWords(char *;)int:::EXIT196......0s
std.InKWords(char *;)int:::EXIT......0.1s
std.InUNames(char *;)int:::ENTER......0s
std.InUNames(char *;)int:::EXIT205......0s
std.InUNames(char *;)int:::EXIT......0s
std.InserUN(char *;)int:::ENTER......0s
std.InserUN(char *;)int:::EXIT197......0s
std.InserUN(char *;)int:::EXIT......0s
std.TapeGet(charac **;)char:::ENTER......0.9s
std.TapeGet(charac **;)char:::EXIT378......12s
std.adddef(charac *;charac **;AddRem **;)int:::ENTER......0s
std.adddef(charac *;charac **;AddRem **;)int:::EXIT10......0s
std.adddef(charac *;charac **;AddRem **;)int:::EXIT11......0s
std.adddef(charac *;charac **;AddRem **;)int:::EXIT2......0s
std.adddef(charac *;charac **;AddRem **;)int:::EXIT4......0s
std.adddef(charac *;charac **;AddRem **;)int:::EXIT6......0s
std.adddef(charac *;charac **;AddRem **;)int:::EXIT......0.1s
std.addscan(Group *;)int:::ENTER......0s
std.addscan(Group *;)int:::EXIT12......0s
std.addscan(Group *;)int:::EXIT13......0s
std.addscan(Group *;)int:::EXIT......0s
std.adremdef(charac *;charac **;AddRem **;)int:::ENTER......0s
std.adremdef(charac *;charac **;AddRem **;)int:::EXIT14......0s
std.adremdef(charac *;charac **;AddRem **;)int:::EXIT15......0s
std.adremdef(charac *;charac **;AddRem **;)int:::EXIT18......0s
std.adremdef(charac *;charac **;AddRem **;)int:::EXIT......0.1s
std.ampunit(charac **;int *;)int:::ENTER......0s
std.ampunit(charac **;int *;)int:::EXIT20......0.1s
std.ampunit(charac **;int *;)int:::EXIT21......0s
std.ampunit(charac **;int *;)int:::EXIT......0.1s
std.ampval(charac *;charac **;double *;int *;)int:::ENTER......0s
std.ampval(charac *;charac **;double *;int *;)int:::EXIT22......0s
std.ampval(charac *;charac **;double *;int *;)int:::EXIT23......0.1s
std.ampval(charac *;charac **;double *;int *;)int:::EXIT......0.1s
std.angclaus(charac *;charac **;double *;int *;)int:::ENTER......0s
std.angclaus(charac *;charac **;double *;int *;)int:::EXIT24......0s
std.angclaus(charac *;charac **;double *;int *;)int:::EXIT26......0s
std.angclaus(charac *;charac **;double *;int *;)int:::EXIT......0s
std.angledir(charac *;charac **;double *;double *;int *;)int:::ENTER......0s
std.angledir(charac *;charac **;double *;double *;int *;)int:::EXIT27......0s
std.angledir(charac *;charac **;double *;double *;int *;)int:::EXIT......0s
std.anglerot(charac *;charac **;double *;double *;int *;)int:::ENTER......0s
std.anglerot(charac *;charac **;double *;double *;int *;)int:::EXIT32......0s
std.anglerot(charac *;charac **;double *;double *;int *;)int:::EXIT35......0s
std.anglerot(charac *;charac **;double *;double *;int *;)int:::EXIT......0s
std.angstep(charac *;charac **;double *;int *;double *;double *;int *;)int:::ENTER......0s
std.angstep(charac *;charac **;double *;int *;double *;double *;int *;)int:::EXIT36......0.1s
std.angstep(charac *;charac **;double *;int *;double *;double *;int *;)int:::EXIT38......0.1s
std.angstep(charac *;charac **;double *;int *;double *;double *;int *;)int:::EXIT......0.1s
std.angunit(charac *;charac **;int *;)int:::ENTER......0s
std.angunit(charac *;charac **;int *;)int:::EXIT39......0.1s
std.angunit(charac *;charac **;int *;)int:::EXIT40......0s
std.angunit(charac *;charac **;int *;)int:::EXIT......0.1s
std.angval(charac *;charac **;double *;int *;)int:::ENTER......0s
std.angval(charac *;charac **;double *;int *;)int:::EXIT41......0s
std.angval(charac *;charac **;double *;int *;)int:::EXIT42......0.1s
std.angval(charac *;charac **;double *;int *;)int:::EXIT......0.1s
std.beampha(charac *;charac **;double *;double *;double *;double *;int *;)int:::ENTER......0s
std.beampha(charac *;charac **;double *;double *;double *;double *;int *;)int:::EXIT45......0s
std.beampha(charac *;charac **;double *;double *;double *;double *;int *;)int:::EXIT49......0s
std.beampha(charac *;charac **;double *;double *;double *;double *;int *;)int:::EXIT......0s
std.blockdef(charac *;charac **;Node **;)int:::ENTER......0s
std.blockdef(charac *;charac **;Node **;)int:::EXIT50......0s
std.blockdef(charac *;charac **;Node **;)int:::EXIT55......0s
std.blockdef(charac *;charac **;Node **;)int:::EXIT......0s
std.circpol(charac *;charac **;int *;)int:::ENTER......0s
std.circpol(charac *;charac **;int *;)int:::EXIT56......0s
std.circpol(charac *;charac **;int *;)int:::EXIT57......0s
std.circpol(charac *;charac **;int *;)int:::EXIT58......0s
std.circpol(charac *;charac **;int *;)int:::EXIT59......0s
std.circpol(charac *;charac **;int *;)int:::EXIT......0s
std.circspec(charac *;charac **;double *;int *;)int:::ENTER......0s
std.circspec(charac *;charac **;double *;int *;)int:::EXIT60......0s
std.circspec(charac *;charac **;double *;int *;)int:::EXIT62......0.1s
std.circspec(charac *;charac **;double *;int *;)int:::EXIT......0.1s
std.dacos(double;)double:::ENTER......0s
std.dacos(double;)double:::EXIT66......0s
std.datan(double;)double:::ENTER......0s
std.datan(double;)double:::EXIT68......0s
std.dcos(double;)double:::ENTER......0s
std.dcos(double;)double:::EXIT69......0s
std.degconv(double *;int;)int:::ENTER......0.1s
std.degconv(double *;int;)int:::EXIT70......0.1s
std.doubmax(double;double;)double:::ENTER......0s
std.doubmax(double;double;)double:::EXIT71......0s
std.doubmax(double;double;)double:::EXIT72......0s
std.doubmax(double;double;)double:::EXIT......0s
std.doubstep(charac *;charac **;double *;double *;int *;)int:::ENTER......0s
std.doubstep(charac *;charac **;double *;double *;int *;)int:::EXIT75......0.1s
std.doubstep(charac *;charac **;double *;double *;int *;)int:::EXIT79......0.1s
std.doubstep(charac *;charac **;double *;double *;int *;)int:::EXIT......0.1s
std.dsin(double;)double:::ENTER......0s
std.dsin(double;)double:::EXIT80......0s
std.elemdef(charac *;charac **;Elem **;)int:::ENTER......0s
std.elemdef(charac *;charac **;Elem **;)int:::EXIT81......0s
std.elemdef(charac *;charac **;Elem **;)int:::EXIT83......0s
std.elemdef(charac *;charac **;Elem **;)int:::EXIT84......0s
std.elemdef(charac *;charac **;Elem **;)int:::EXIT......0s
std.emsginit()void:::ENTER......0s
std.emsginit()void:::EXIT85......0s
std.extremes(Geomnode *;int *;int *;)int:::ENTER......0s
std.extremes(Geomnode *;int *;int *;)int:::EXIT90......0s
std.extsize(Geomnode *;double;double;double *;double *;)int:::ENTER......0s
std.extsize(Geomnode *;double;double;double *;double *;)int:::EXIT91......0s
std.fixgramp(GrAmpExc *;)int:::ENTER......0s
std.fixgramp(GrAmpExc *;)int:::EXIT92......0s
std.fixgrpha(GrPhaExc *;)int:::ENTER......0s
std.fixgrpha(GrPhaExc *;)int:::EXIT93......0s
std.fixnodor(Node *;)int:::ENTER......0s
std.fixnodor(Node *;)int:::EXIT94......0s
std.fixport(Elem *;)int:::ENTER......0s
std.fixport(Elem *;)int:::EXIT95......0s
std.fixselem(Elem *;)int:::ENTER......0s
std.fixselem(Elem *;)int:::EXIT96......0s
std.fixsgrel(Group *;)int:::ENTER......0s
std.fixsgrel(Group *;)int:::EXIT97......0s
std.fixsgrid(Grid *;)int:::ENTER......0s
std.fixsgrid(Grid *;)int:::EXIT98......0s
std.floatsup()void:::ENTER......0s
std.floatsup()void:::EXIT99......0s
std.geomspec(charac *;charac **;int *;double *;int *;double *;double *;int *;)int:::ENTER......0s
std.geomspec(charac *;charac **;int *;double *;int *;double *;double *;int *;)int:::EXIT114......0.1s
std.geomspec(charac *;charac **;int *;double *;int *;double *;double *;int *;)int:::EXIT115......0s
std.geomspec(charac *;charac **;int *;double *;int *;double *;double *;int *;)int:::EXIT116......0.2s
std.geomspec(charac *;charac **;int *;double *;int *;double *;double *;int *;)int:::EXIT118......0.1s
std.geomspec(charac *;charac **;int *;double *;int *;double *;double *;int *;)int:::EXIT......2.6s
std.glvainit()void:::ENTER......0s
std.glvainit()void:::EXIT140......0s
std.gnodevis(int;int;double;double;Geomnode *;)void:::ENTER......0s
std.gnodevis(int;int;double;double;Geomnode *;)void:::EXIT141......0s
std.gnodfind(Geomnode *;Geomnode **;int;int;)int:::ENTER......0s
std.gnodfind(Geomnode *;Geomnode **;int;int;)int:::EXIT143......0s
std.gnodfind(Geomnode *;Geomnode **;int;int;)int:::EXIT......0s
std.grampexc(charac *;charac **;GrAmpExc **;)int:::ENTER......0s
std.grampexc(charac *;charac **;GrAmpExc **;)int:::EXIT145......0s
std.grampexc(charac *;charac **;GrAmpExc **;)int:::EXIT147......0s
std.grampexc(charac *;charac **;GrAmpExc **;)int:::EXIT148......0s
std.grampexc(charac *;charac **;GrAmpExc **;)int:::EXIT......0s
std.greldef(charac *;charac **;Grid **;Elem **;)int:::ENTER......0s
std.greldef(charac *;charac **;Grid **;Elem **;)int:::EXIT150......0s
std.greldef(charac *;charac **;Grid **;Elem **;)int:::EXIT151......0s
std.greldef(charac *;charac **;Grid **;Elem **;)int:::EXIT152......0s
std.greldef(charac *;charac **;Grid **;Elem **;)int:::EXIT153......0s
std.greldef(charac *;charac **;Grid **;Elem **;)int:::EXIT......0.1s
std.grexcdef(charac *;charac **;GrAmpExc **;GrPhaExc **;)int:::ENTER......0s
std.grexcdef(charac *;charac **;GrAmpExc **;GrPhaExc **;)int:::EXIT155......0s
std.grexcdef(charac *;charac **;GrAmpExc **;GrPhaExc **;)int:::EXIT156......0s
std.grexcdef(charac *;charac **;GrAmpExc **;GrPhaExc **;)int:::EXIT157......0s
std.grexcdef(charac *;charac **;GrAmpExc **;GrPhaExc **;)int:::EXIT......0s
std.grgeodef(charac *;charac **;AddRem **;)int:::ENTER......0s
std.grgeodef(charac *;charac **;AddRem **;)int:::EXIT158......0s
std.grgeodef(charac *;charac **;AddRem **;)int:::EXIT159......0s
std.grgeodef(charac *;charac **;AddRem **;)int:::EXIT160......0s
std.grgeodef(charac *;charac **;AddRem **;)int:::EXIT161......0s
std.grgeodef(charac *;charac **;AddRem **;)int:::EXIT......0s
std.griddef1(charac *;charac **;Grid **;)int:::ENTER......0s
std.griddef1(charac *;charac **;Grid **;)int:::EXIT167......0s
std.griddef1(charac *;charac **;Grid **;)int:::EXIT168......0s
std.griddef1(charac *;charac **;Grid **;)int:::EXIT......0s
std.groupdef(charac *;charac **;Group **;)int:::ENTER......0s
std.groupdef(charac *;charac **;Group **;)int:::EXIT172......0s
std.groupdef(charac *;charac **;Group **;)int:::EXIT173......0s
std.groupdef(charac *;charac **;Group **;)int:::EXIT174......0s
std.groupdef(charac *;charac **;Group **;)int:::EXIT176......0s
std.groupdef(charac *;charac **;Group **;)int:::EXIT......0s
std.grphaexc(charac *;charac **;GrPhaExc **;)int:::ENTER......0s
std.grphaexc(charac *;charac **;GrPhaExc **;)int:::EXIT177......0s
std.grphaexc(charac *;charac **;GrPhaExc **;)int:::EXIT178......0s
std.grphaexc(charac *;charac **;GrPhaExc **;)int:::EXIT180......0s
std.grphaexc(charac *;charac **;GrPhaExc **;)int:::EXIT182......0s
std.grphaexc(charac *;charac **;GrPhaExc **;)int:::EXIT183......0s
std.grphaexc(charac *;charac **;GrPhaExc **;)int:::EXIT184......0s
std.grphaexc(charac *;charac **;GrPhaExc **;)int:::EXIT......0s
std.grwrite(Group *;char *;)int:::ENTER......0s
std.grwrite(Group *;char *;)int:::EXIT186......0s
std.hexdef(charac *;charac **;Node **;)int:::ENTER......0s
std.hexdef(charac *;charac **;Node **;)int:::EXIT187......0s
std.hexdef(charac *;charac **;Node **;)int:::EXIT190......0s
std.hexdef(charac *;charac **;Node **;)int:::EXIT......0s
std.hexgrdef(charac *;charac **;double *;int *;)int:::ENTER......0s
std.hexgrdef(charac *;charac **;double *;int *;)int:::EXIT191......0s
std.hexgrdef(charac *;charac **;double *;int *;)int:::EXIT192......0s
std.hexgrdef(charac *;charac **;double *;int *;)int:::EXIT194......0s
std.hexgrdef(charac *;charac **;double *;int *;)int:::EXIT......0.1s
std.intmax(int;int;)int:::ENTER......0.2s
std.intmax(int;int;)int:::EXIT200......0.1s
std.intmax(int;int;)int:::EXIT201......0.1s
std.intmax(int;int;)int:::EXIT......0.4s
std.intmin(int;int;)int:::ENTER......0s
std.intmin(int;int;)int:::EXIT202......0s
std.intmin(int;int;)int:::EXIT203......0s
std.intmin(int;int;)int:::EXIT......0.1s
std.isletter(char;)int:::ENTER......0.5s
std.isletter(char;)int:::EXIT206......0.6s
std.isletter(char;)int:::EXIT207......0s
std.isletter(char;)int:::EXIT......0.7s
std.kwdsinit()void:::ENTER......0s
std.kwdsinit()void:::EXIT208......0s
std.lenunit(charac **;int *;)int:::ENTER......0s
std.lenunit(charac **;int *;)int:::EXIT209......0.1s
std.lenunit(charac **;int *;)int:::EXIT210......0s
std.lenunit(charac **;int *;)int:::EXIT......0.1s
std.linconv(double *;int;)int:::ENTER......0s
std.linconv(double *;int;)int:::EXIT211......0.1s
std.linpol(charac *;charac **;double *;int *;)int:::ENTER......0s
std.linpol(charac *;charac **;double *;int *;)int:::EXIT212......0s
std.linpol(charac *;charac **;double *;int *;)int:::EXIT213......0s
std.linpol(charac *;charac **;double *;int *;)int:::EXIT215......0s
std.linpol(charac *;charac **;double *;int *;)int:::EXIT......0s
std.main(int;char **;)int:::ENTER......0s
std.main(int;char **;)int:::EXIT1......0s
std.mksblock(AddRem *;Geomnode **;Geomnode **;double;double;double;int *;int;double;double;)int:::ENTER......0.1s
std.mksblock(AddRem *;Geomnode **;Geomnode **;double;double;double;int *;int;double;double;)int:::EXIT216......0.2s
std.mkshex(AddRem *;Geomnode **;Geomnode **;double;double;double;int *;int;double;double;)int:::ENTER......0s
std.mkshex(AddRem *;Geomnode **;Geomnode **;double;double;double;int *;int;double;double;)int:::EXIT217......0.1s
std.mksnode(AddRem *;Geomnode **;Geomnode **;double;double;double;int *;int;double;double;)int:::ENTER......0s
std.mksnode(AddRem *;Geomnode **;Geomnode **;double;double;double;int *;int;double;double;)int:::EXIT218......0.1s
std.mmconv(double *;int;)int:::ENTER......0s
std.mmconv(double *;int;)int:::EXIT219......0.1s
std.moseinit()void:::ENTER......0s
std.moseinit()void:::EXIT228......0s
std.nodecoor(charac *;charac **;int *;int *;)int:::ENTER......0.1s
std.nodecoor(charac *;charac **;int *;int *;)int:::EXIT231......0.2s
std.nodecoor(charac *;charac **;int *;int *;)int:::EXIT......0.2s
std.nodedef(charac *;charac **;Node **;)int:::ENTER......0s
std.nodedef(charac *;charac **;Node **;)int:::EXIT232......0s
std.nodedef(charac *;charac **;Node **;)int:::EXIT236......0s
std.nodedef(charac *;charac **;Node **;)int:::EXIT......0s
std.nodorien(charac *;charac **;double *;double *;double *;int *;)int:::ENTER......0s
std.nodorien(charac *;charac **;double *;double *;double *;int *;)int:::EXIT237......0s
std.nodorien(charac *;charac **;double *;double *;double *;int *;)int:::EXIT241......0s
std.nodorien(charac *;charac **;double *;double *;double *;int *;)int:::EXIT......0.1s
std.nomefile(char *;)void:::ENTER......0s
std.nomefile(char *;)void:::EXIT242......0s
std.parserro(charac *;int;char *;)void:::ENTER......0s
std.parserro(charac *;int;char *;)void:::EXIT243......0s
std.phaserot(charac *;charac **;double *;double *;int *;)int:::ENTER......0s
std.phaserot(charac *;charac **;double *;double *;int *;)int:::EXIT244......0s
std.phaserot(charac *;charac **;double *;double *;int *;)int:::EXIT247......0s
std.phaserot(charac *;charac **;double *;double *;int *;)int:::EXIT......0s
std.polor(charac *;charac **;double *;int *;)int:::ENTER......0s
std.polor(charac *;charac **;double *;int *;)int:::EXIT248......0s
std.polor(charac *;charac **;double *;int *;)int:::EXIT249......0s
std.polor(charac *;charac **;double *;int *;)int:::EXIT250......0s
std.polor(charac *;charac **;double *;int *;)int:::EXIT251......0s
std.polor(charac *;charac **;double *;int *;)int:::EXIT......0s
std.polorbis(charac *;charac **;double *;int *;)int:::ENTER......0s
std.polorbis(charac *;charac **;double *;int *;)int:::EXIT254......0s
std.polorbis(charac *;charac **;double *;int *;)int:::EXIT255......0s
std.polorbis(charac *;charac **;double *;int *;)int:::EXIT256......0s
std.polorbis(charac *;charac **;double *;int *;)int:::EXIT257......0s
std.polorbis(charac *;charac **;double *;int *;)int:::EXIT......0s
std.polspec(charac *;charac **;int *;double *;int *;int *;)int:::ENTER......0s
std.polspec(charac *;charac **;int *;double *;int *;int *;)int:::EXIT260......0.1s
std.polspec(charac *;charac **;int *;double *;int *;int *;)int:::EXIT261......0.1s
std.polspec(charac *;charac **;int *;double *;int *;int *;)int:::EXIT263......0s
std.polspec(charac *;charac **;int *;double *;int *;int *;)int:::EXIT265......0s
std.polspec(charac *;charac **;int *;double *;int *;int *;)int:::EXIT......0.1s
std.polydef(charac *;charac **;Node **;)int:::ENTER......0s
std.polydef(charac *;charac **;Node **;)int:::EXIT266......0s
std.polydef(charac *;charac **;Node **;)int:::EXIT......0s
std.portamp(charac *;charac **;double *;int *;)int:::ENTER......0s
std.portamp(charac *;charac **;double *;int *;)int:::EXIT269......0s
std.portamp(charac *;charac **;double *;int *;)int:::EXIT271......0.1s
std.portamp(charac *;charac **;double *;int *;)int:::EXIT......0s
std.portdef(charac *;charac **;Port *;int *;)int:::ENTER......0s
std.portdef(charac *;charac **;Port *;int *;)int:::EXIT272......0s
std.portdef(charac *;charac **;Port *;int *;)int:::EXIT275......0s
std.portdef(charac *;charac **;Port *;int *;)int:::EXIT276......0s
std.portdef(charac *;charac **;Port *;int *;)int:::EXIT277......0s
std.portdef(charac *;charac **;Port *;int *;)int:::EXIT279......0s
std.portdef(charac *;charac **;Port *;int *;)int:::EXIT......0.1s
std.portspec(charac *;charac **;int *;Port **;)int:::ENTER......0s
std.portspec(charac *;charac **;int *;Port **;)int:::EXIT280......0s
std.portspec(charac *;charac **;int *;Port **;)int:::EXIT282......0s
std.portspec(charac *;charac **;int *;Port **;)int:::EXIT283......0s
std.portspec(charac *;charac **;int *;Port **;)int:::EXIT284......0.5s
std.portspec(charac *;charac **;int *;Port **;)int:::EXIT......0.3s
std.ppadef1(charac *;charac **;double *;int *;)int:::ENTER......0s
std.ppadef1(charac *;charac **;double *;int *;)int:::EXIT285......0s
std.ppadef1(charac *;charac **;double *;int *;)int:::EXIT287......0.1s
std.ppadef1(charac *;charac **;double *;int *;)int:::EXIT......0s
std.pqlimits(Geomnode *;Geomnode **;Geomnode **;Geomnode **;Geomnode **;)int:::ENTER......0s
std.pqlimits(Geomnode *;Geomnode **;Geomnode **;Geomnode **;Geomnode **;)int:::EXIT288......0s
std.prnfile(charac *;)void:::ENTER......0s
std.prnfile(charac *;)void:::EXIT289......0s
std.pscdef1(charac *;charac **;double *;int *;)int:::ENTER......0s
std.pscdef1(charac *;charac **;double *;int *;)int:::EXIT290......0s
std.pscdef1(charac *;charac **;double *;int *;)int:::EXIT291......0s
std.pscdef1(charac *;charac **;double *;int *;)int:::EXIT292......0s
std.pscdef1(charac *;charac **;double *;int *;)int:::EXIT......0s
std.pshdef1(charac *;charac **;double *;int *;)int:::ENTER......0s
std.pshdef1(charac *;charac **;double *;int *;)int:::EXIT293......0s
std.pshdef1(charac *;charac **;double *;int *;)int:::EXIT294......0s
std.pshdef1(charac *;charac **;double *;int *;)int:::EXIT295......0s
std.pshdef1(charac *;charac **;double *;int *;)int:::EXIT......0s
std.readfil3(char *;charac **;charac **;)int:::ENTER......0s
std.readfil3(char *;charac **;charac **;)int:::EXIT296......0s
std.readfil3(char *;charac **;charac **;)int:::EXIT301......0s
std.readfil3(char *;charac **;charac **;)int:::EXIT......0.1s
std.recgrdef(charac *;charac **;double *;double *;int *;)int:::ENTER......0s
std.recgrdef(charac *;charac **;double *;double *;int *;)int:::EXIT302......0.1s
std.recgrdef(charac *;charac **;double *;double *;int *;)int:::EXIT303......0s
std.recgrdef(charac *;charac **;double *;double *;int *;)int:::EXIT305......0s
std.recgrdef(charac *;charac **;double *;double *;int *;)int:::EXIT......0.1s
std.recspec(charac *;charac **;double *;double *;int *;)int:::ENTER......0s
std.recspec(charac *;charac **;double *;double *;int *;)int:::EXIT306......0s
std.recspec(charac *;charac **;double *;double *;int *;)int:::EXIT307......0s
std.recspec(charac *;charac **;double *;double *;int *;)int:::EXIT308......0s
std.recspec(charac *;charac **;double *;double *;int *;)int:::EXIT309......0s
std.recspec(charac *;charac **;double *;double *;int *;)int:::EXIT......0.1s
std.remdef(charac *;charac **;AddRem **;)int:::ENTER......0s
std.remdef(charac *;charac **;AddRem **;)int:::EXIT310......0s
std.remdef(charac *;charac **;AddRem **;)int:::EXIT......0s
std.secoramp(charac *;charac **;double *;double *;double *;double *;double *;int *;)int:::ENTER......0s
std.secoramp(charac *;charac **;double *;double *;double *;double *;double *;int *;)int:::EXIT320......0s
std.secoramp(charac *;charac **;double *;double *;double *;double *;double *;int *;)int:::EXIT326......0.1s
std.secoramp(charac *;charac **;double *;double *;double *;double *;double *;int *;)int:::EXIT......0.1s
std.secorder(double;double;double;double;double;double;double;)double:::ENTER......0s
std.secorder(double;double;double;double;double;double;double;)double:::EXIT327......0.1s
std.secorpha(charac *;charac **;double *;double *;double *;double *;double *;int *;)int:::ENTER......0s
std.secorpha(charac *;charac **;double *;double *;double *;double *;double *;int *;)int:::EXIT328......0s
std.secorpha(charac *;charac **;double *;double *;double *;double *;double *;int *;)int:::EXIT334......0.1s
std.secorpha(charac *;charac **;double *;double *;double *;double *;double *;int *;)int:::EXIT......0.1s
std.seqrothg(double;double;double;double;Geomnode *;)void:::ENTER......0s
std.seqrothg(double;double;double;double;Geomnode *;)void:::EXIT335......0s
std.seqrotrg(double;double;double;double;Geomnode *;)void:::ENTER......0s
std.seqrotrg(double;double;double;double;Geomnode *;)void:::EXIT336......0s
std.serotdir(charac *;charac **;int *;)int:::ENTER......0s
std.serotdir(charac *;charac **;int *;)int:::EXIT337......0s
std.serotdir(charac *;charac **;int *;)int:::EXIT338......0s
std.serotdir(charac *;charac **;int *;)int:::EXIT339......0s
std.serotdir(charac *;charac **;int *;)int:::EXIT......0s
std.serotpar(charac *;charac **;double *;double *;int *;double *;double *;int *;int *;)int:::ENTER......0s
std.serotpar(charac *;charac **;double *;double *;int *;double *;double *;int *;int *;)int:::EXIT341......0.1s
std.serotpar(charac *;charac **;double *;double *;int *;double *;double *;int *;int *;)int:::EXIT343......0.1s
std.serotpar(charac *;charac **;double *;double *;int *;double *;double *;int *;int *;)int:::EXIT344......0.1s
std.serotpar(charac *;charac **;double *;double *;int *;double *;double *;int *;int *;)int:::EXIT......0.1s
std.serotpha(charac *;charac **;int *;int *;double *;double *;int *;double *;double *;int *;int *;)int:::ENTER......0s
std.serotpha(charac *;charac **;int *;int *;double *;double *;int *;double *;double *;int *;int *;)int:::EXIT345......0.1s
std.serotpha(charac *;charac **;int *;int *;double *;double *;int *;double *;double *;int *;int *;)int:::EXIT348......0.4s
std.serotpha(charac *;charac **;int *;int *;double *;double *;int *;double *;double *;int *;int *;)int:::EXIT......0.2s
std.sgramp2n(GrAmpExc *;Geomnode *;Port *;int;)int:::ENTER......0s
std.sgramp2n(GrAmpExc *;Geomnode *;Port *;int;)int:::EXIT349......0s
std.sgramp2n(GrAmpExc *;Geomnode *;Port *;int;)int:::EXIT350......0s
std.sgramp2n(GrAmpExc *;Geomnode *;Port *;int;)int:::EXIT......0s
std.sgrampun(GrAmpExc *;Geomnode *;Port *;)int:::ENTER......0s
std.sgrampun(GrAmpExc *;Geomnode *;Port *;)int:::EXIT351......0s
std.sgrpha2n(GrPhaExc *;Geomnode *;Port *;int;)int:::ENTER......0s
std.sgrpha2n(GrPhaExc *;Geomnode *;Port *;int;)int:::EXIT352......0s
std.sgrpha2n(GrPhaExc *;Geomnode *;Port *;int;)int:::EXIT353......0s
std.sgrpha2n(GrPhaExc *;Geomnode *;Port *;int;)int:::EXIT......0s
std.sgrphasr(Group *;)int:::ENTER......0s
std.sgrphasr(Group *;)int:::EXIT354......0s
std.sgrphasr(Group *;)int:::EXIT355......0s
std.sgrphasr(Group *;)int:::EXIT356......0s
std.sgrphasr(Group *;)int:::EXIT......0s
std.sgrphaun(GrPhaExc *;Geomnode *;Port *;)int:::ENTER......0s
std.sgrphaun(GrPhaExc *;Geomnode *;Port *;)int:::EXIT357......0s
std.sgrrot(Geomnode *;double;double;double;)int:::ENTER......0s
std.sgrrot(Geomnode *;double;double;double;)int:::EXIT358......0s
std.simamp(Group *;)int:::ENTER......0s
std.simamp(Group *;)int:::EXIT359......0s
std.simamp(Group *;)int:::EXIT360......0s
std.simamp(Group *;)int:::EXIT......0s
std.simgroup(Group *;)int:::ENTER......0s
std.simgroup(Group *;)int:::EXIT361......0s
std.simgroup(Group *;)int:::EXIT362......0s
std.simgroup(Group *;)int:::EXIT......0s
std.simpha(Group *;)int:::ENTER......0s
std.simpha(Group *;)int:::EXIT363......0s
std.simpha(Group *;)int:::EXIT364......0s
std.simpha(Group *;)int:::EXIT......0s
std.simpol(Group *;)int:::ENTER......0s
std.simpol(Group *;)int:::EXIT365......0s
std.sinelem(charac *;charac **;Elem **;)int:::ENTER......0s
std.sinelem(charac *;charac **;Elem **;)int:::EXIT367......0s
std.sinelem(charac *;charac **;Elem **;)int:::EXIT368......0s
std.sinelem(charac *;charac **;Elem **;)int:::EXIT369......0s
std.sinelem(charac *;charac **;Elem **;)int:::EXIT370......0s
std.sinelem(charac *;charac **;Elem **;)int:::EXIT......0s
std.sinstep(charac *;charac **;double *;int *;)int:::ENTER......0s
std.sinstep(charac *;charac **;double *;int *;)int:::EXIT371......0s
std.sinstep(charac *;charac **;double *;int *;)int:::EXIT373......0s
std.sinstep(charac *;charac **;double *;int *;)int:::EXIT......0.1s
std.squgrdef(charac *;charac **;double *;int *;)int:::ENTER......0s
std.squgrdef(charac *;charac **;double *;int *;)int:::EXIT374......0.1s
std.squgrdef(charac *;charac **;double *;int *;)int:::EXIT375......0s
std.squgrdef(charac *;charac **;double *;int *;)int:::EXIT377......0s
std.squgrdef(charac *;charac **;double *;int *;)int:::EXIT......0.1s
std.trigrdef(charac *;charac **;double *;int *;double *;double *;int *;double *;double *;double *;double *;int *;)int:::ENTER......0.1s
std.trigrdef(charac *;charac **;double *;int *;double *;double *;int *;double *;double *;double *;double *;int *;)int:::EXIT379......0.2s
std.trigrdef(charac *;charac **;double *;int *;double *;double *;int *;double *;double *;double *;double *;int *;)int:::EXIT382......0.3s
std.trigrdef(charac *;charac **;double *;int *;double *;double *;int *;double *;double *;double *;double *;int *;)int:::EXIT......0.8s
std.unaminit()void:::ENTER......0s
std.unaminit()void:::EXIT383......0s
std.unifamp(charac *;charac **;double *;int *;)int:::ENTER......0s
std.unifamp(charac *;charac **;double *;int *;)int:::EXIT384......0s
std.unifamp(charac *;charac **;double *;int *;)int:::EXIT385......0.1s
std.unifamp(charac *;charac **;double *;int *;)int:::EXIT......0.1s
std.unifpha(charac *;charac **;double *;int *;)int:::ENTER......0s
std.unifpha(charac *;charac **;double *;int *;)int:::EXIT386......0s
std.unifpha(charac *;charac **;double *;int *;)int:::EXIT387......0s
std.unifpha(charac *;charac **;double *;int *;)int:::EXIT......0.1s
std.uvdir(charac *;charac **;double *;double *;)int:::ENTER......0s
std.uvdir(charac *;charac **;double *;double *;)int:::EXIT388......0s
std.uvdir(charac *;charac **;double *;double *;)int:::EXIT392......0s
std.uvdir(charac *;charac **;double *;double *;)int:::EXIT......0s
std.uvval(charac *;charac **;double *;)int:::ENTER......0s
std.uvval(charac *;charac **;double *;)int:::EXIT395......0s
std.uvval(charac *;charac **;double *;)int:::EXIT......0s
std.versdef(charac *;charac **;double *;double *;double *;double *;int *;)int:::ENTER......0s
std.versdef(charac *;charac **;double *;double *;double *;double *;int *;)int:::EXIT396......0.1s
std.versdef(charac *;charac **;double *;double *;double *;double *;int *;)int:::EXIT404......0.1s
std.versdef(charac *;charac **;double *;double *;double *;double *;int *;)int:::EXIT......0.1s
std.waitcont()void:::ENTER......0s
std.waitcont()void:::EXIT405......0s
Exiting

### txt-daikon (space)

rm -f space.txt-daikon-failed
(java -Xmx256m -classpath .:/g1/users/emarcus/research/invariants/java:/g1/users/emarcus/research/invariants/java/lib/log4j.jar:/g2/jdk/jre/lib/rt.jar:/g2/jdk/lib/tools.jar:/g1/users/emarcus/research/invariants/java/lib/jakarta-oro.jar:/g1/users/emarcus/research/invariants/java/lib/java-getopt.jar:/g1/users/emarcus/research/invariants/java/lib/junit.jar:/g1/users/emarcus/research/invariants/java/lib/log4j.jar  daikon.PrintInvariants --suppress_cont --suppress_post  space.inv.gz &> space.txt-daikon) || (mv space.txt-daikon space.txt-daikon-failed && false)

### textual diff (space)

rm -f space.txt-daikon.diff
diff -bu space.txt-daikon.goal space.txt-daikon > space.txt-daikon.diff
cat space.txt-daikon.diff
make[4]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests/space'
==========================================================================
==========================================================================
make[3]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests'
make[2]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests/daikon-tests'
make[1]: Leaving directory `/SDG/g1/users/emarcus/research/invariants/tests'

=== RESULTS ===

--- QueueAr.txt-daikon.goal	Sun Mar 17 16:16:58 2002
+++ QueueAr.txt-daikon	Thu Mar 21 13:45:52 2002
@@ -30,7 +30,6 @@
 return == orig(this.theArray[this.front])
 this.theArray == orig(this.theArray)
 this.back == orig(this.back)
-this.theArray[this.front..] == orig(this.theArray[this.front+1..])
 this.theArray[orig(this.front)+1..] == orig(this.theArray[post(this.front)..])
 this.theArray[0..orig(this.front)-1] == orig(this.theArray[0..this.front-1])
 this.theArray[orig(this.front)] == null
--- QueueAr.txt-esc.goal	Sun Mar 17 16:16:58 2002
+++ QueueAr.txt-esc	Thu Mar 21 13:45:55 2002
@@ -35,7 +35,6 @@
       Unmodified variables: this this.theArray this.theArray.class this.back size(this.theArray[])
 modifies this.theArray[*], this.currentSize, this.front
 \result == \old(this.theArray[this.front])
-(\forall int i, j; (this.front <= i && i <= this.theArray.length-1 && \old(this.front+1) <= j && j <= \old(this.theArray.length-1) && (i-(this.front)) == (j-(\old(this.front+1)))) ==> ( this.theArray[i] == \old(this.theArray[j]) ))
 (\forall int i, j; (\old(this.front)+1 <= i && i <= this.theArray.length-1 && this.front <= j && j <= \old(this.theArray.length-1) && (i-(\old(this.front)+1)) == (j-(this.front))) ==> ( this.theArray[i] == \old(this.theArray[j]) ))
 (\forall int i, j; (0 <= i && i <= \old(this.front)-1 && 0 <= j && j <= \old(this.front-1) && i == j) ==> ( this.theArray[i] == \old(this.theArray[j]) ))
 this.theArray[\old(this.front)] == null
--- RatNum.txt-daikon.goal	Thu Dec 20 03:55:07 2001
+++ RatNum.txt-daikon	Thu Mar 21 13:49:25 2002
@@ -56,9 +56,8 @@
 this.denom >= 1
 ===========================================================================
 PolyCalc.RatNum.compareTo(PolyCalc.RatNum):::EXIT94
-rn.denom == this.denom == orig(this.denom)
+rn.denom == return == this.denom == orig(this.denom)
 rn.denom == 0
-return == 0
 ===========================================================================
 PolyCalc.RatNum.compareTo(PolyCalc.RatNum):::EXIT96
 rn.numer >= -1
--- StreetNumberSet.txt-daikon.goal	Mon Mar 11 16:08:13 2002
+++ StreetNumberSet.txt-daikon	Thu Mar 21 13:47:55 2002
@@ -226,6 +226,7 @@
 this.begins[] elements <= return
 return in this.ends[]
 this.ends[] elements <= return
+return >= size(this.begins[])-1
 ===========================================================================
 MapQuick1.StreetNumberSet.min():::ENTER
 ===========================================================================
@@ -240,6 +241,7 @@
 ===========================================================================
 MapQuick1.StreetNumberSet.orderStatistic(int):::ENTER
 n >= 0
+n != size(this.begins[])
 ===========================================================================
 MapQuick1.StreetNumberSet.orderStatistic(int):::EXIT162
 n == orig(n)
@@ -248,6 +250,8 @@
 this.ends == orig(this.ends)
 this.ends[] == orig(this.ends[])
 return >= 0
+n >= return
+n != size(this.begins[])
 ===========================================================================
 MapQuick1.StreetNumberSet.parityOf(int):::ENTER
 i >= 0
@@ -264,3 +268,4 @@
 this.begins[] == orig(this.begins[])
 this.ends == orig(this.ends)
 this.ends[] == orig(this.ends[])
+return >= size(this.begins[])
--- StreetNumberSet.txt-esc.goal	Mon Mar 11 16:08:13 2002
+++ StreetNumberSet.txt-esc	Thu Mar 21 13:47:58 2002
@@ -110,6 +110,7 @@
 (\forall int i; (0 <= i && i <= this.begins.length-1) ==> (this.begins[i] <= \result))
 !(\forall int i; (0 <= i && i <= this.ends.length-1) ==> (this.ends[i] != \result))
 (\forall int i; (0 <= i && i <= this.ends.length-1) ==> (this.ends[i] <= \result))
+\result >= this.begins.length-1
 ===========================================================================
 MapQuick1.StreetNumberSet.min():::ENTER
     Variables: this this.begins this.begins[] this.ends this.ends[] size(this.begins[]) size(this.begins[])-1 size(this.ends[]) size(this.ends[])-1
@@ -124,11 +125,14 @@
 MapQuick1.StreetNumberSet.orderStatistic(int):::ENTER
     Variables: n this this.begins this.begins[] this.ends this.ends[] size(this.begins[]) size(this.begins[])-1 size(this.ends[]) size(this.ends[])-1
 n >= 0
+n != this.begins.length
 ===========================================================================
 MapQuick1.StreetNumberSet.orderStatistic(int):::EXIT162
     Variables: n return this this.begins this.begins[] this.ends this.ends[] orig(n) orig(this) orig(this.begins) orig(this.begins[]) orig(this.ends) orig(this.ends[]) size(this.begins[]) size(this.begins[])-1 size(this.ends[]) size(this.ends[])-1 this.begins[return] this.begins[return-1] this.begins[return..] this.begins[return+1..] this.begins[0..return] this.begins[0..return-1] this.ends[return] this.ends[return-1] this.ends[return..] this.ends[return+1..] this.ends[0..return] this.ends[0..return-1]
       Unmodified variables: n this this.begins this.begins[] this.ends this.ends[]
 \result >= 0
+n >= \result
+n != this.begins.length
 ===========================================================================
 MapQuick1.StreetNumberSet.parityOf(int):::ENTER
     Variables: i
@@ -146,3 +150,4 @@
 MapQuick1.StreetNumberSet.size():::EXIT181
     Variables: return this this.begins this.begins[] this.ends this.ends[] orig(this) orig(this.begins) orig(this.begins[]) orig(this.ends) orig(this.ends[]) size(this.begins[]) size(this.begins[])-1 size(this.ends[]) size(this.ends[])-1
       Unmodified variables: this this.begins this.begins[] this.ends this.ends[]
+\result >= this.begins.length
--- Compar1.txt-daikon.goal	Thu Dec 20 03:55:07 2001
+++ Compar1.txt-daikon	Thu Mar 21 13:54:42 2002
@@ -1,7 +1,8 @@
 ===========================================================================
 misc.Compar1.bar(int, int, int, int):::ENTER
 j == i + 1
-l == k + 1
+k == i + 2
+l == i + 3
 ===========================================================================
 misc.Compar1.bar(int, int, int, int):::EXIT27
 i == orig(i)
--- Compar1.txt-esc.goal	Sun Jan 27 21:50:58 2002
+++ Compar1.txt-esc	Thu Mar 21 13:54:43 2002
@@ -2,7 +2,8 @@
 misc.Compar1.bar(int, int, int, int):::ENTER
     Variables: i j k l
 j == i + 1
-l == k + 1
+k == i + 2
+l == i + 3
 ===========================================================================
 misc.Compar1.bar(int, int, int, int):::EXIT27
     Variables: i j k l orig(i) orig(j) orig(k) orig(l)
--- ed.txt-esc.goal	Mon Mar 11 07:09:11 2002
+++ ed.txt-esc	Thu Mar 21 13:54:38 2002
@@ -22,14 +22,14 @@
 warning: method daikon.inv.unary.stringsequence.OneOfStringSequence.format_esc() needs to be implemented: argv[].toString == []
 ===========================================================================
 kataoka.EncapsulateDowncast.showLastPerson(java.util.Vector):::ENTER
-    Variables: list list[] list[].class kataoka.EncapsulateDowncast.random kataoka.EncapsulateDowncast.CASES kataoka.EncapsulateDowncast.SEED size(list[]) size(list[])-1
+    Variables: list list[] list[].class kataoka.EncapsulateDowncast.random kataoka.EncapsulateDowncast.CASES kataoka.EncapsulateDowncast.SEED size(list[]) size(list[])-1 list[kataoka.EncapsulateDowncast.CASES] list[kataoka.EncapsulateDowncast.CASES-1] list[kataoka.EncapsulateDowncast.CASES..] list[kataoka.EncapsulateDowncast.CASES+1..] list[0..kataoka.EncapsulateDowncast.CASES] list[0..kataoka.EncapsulateDowncast.CASES-1] list[kataoka.EncapsulateDowncast.SEED] list[kataoka.EncapsulateDowncast.SEED-1] list[kataoka.EncapsulateDowncast.SEED..] list[kataoka.EncapsulateDowncast.SEED+1..] list[0..kataoka.EncapsulateDowncast.SEED] list[0..kataoka.EncapsulateDowncast.SEED-1]
 list != null
 warning: method daikon.inv.unary.sequence.NoDuplicates.format_esc() needs to be implemented: list[] contains no duplicates
 list.containsNull == false
 (\forall int i; (0 <= i && i <= list.length-1) ==> (\typeof(list[i]) == \type(kataoka.Person)))
 ===========================================================================
 kataoka.EncapsulateDowncast.showLastPerson(java.util.Vector):::EXIT32
-    Variables: list list[] list[].class kataoka.EncapsulateDowncast.random kataoka.EncapsulateDowncast.CASES kataoka.EncapsulateDowncast.SEED orig(list) orig(list[]) orig(list[].class) orig(kataoka.EncapsulateDowncast.random) size(list[]) size(list[])-1
+    Variables: list list[] list[].class kataoka.EncapsulateDowncast.random kataoka.EncapsulateDowncast.CASES kataoka.EncapsulateDowncast.SEED orig(list) orig(list[]) orig(list[].class) orig(kataoka.EncapsulateDowncast.random) size(list[]) size(list[])-1 list[kataoka.EncapsulateDowncast.CASES] list[kataoka.EncapsulateDowncast.CASES-1] list[kataoka.EncapsulateDowncast.CASES..] list[kataoka.EncapsulateDowncast.CASES+1..] list[0..kataoka.EncapsulateDowncast.CASES] list[0..kataoka.EncapsulateDowncast.CASES-1] list[kataoka.EncapsulateDowncast.SEED] list[kataoka.EncapsulateDowncast.SEED-1] list[kataoka.EncapsulateDowncast.SEED..] list[kataoka.EncapsulateDowncast.SEED+1..] list[0..kataoka.EncapsulateDowncast.SEED] list[0..kataoka.EncapsulateDowncast.SEED-1]
       Modified variables: list[].class
       Unmodified variables: list list[] kataoka.EncapsulateDowncast.random
 (\forall int i; (0 <= i && i <= list.length-1) ==> (\typeof(list[i]) == \type(kataoka.Person)))
--- Hanoi.txt-esc.goal	Mon Mar 11 07:09:11 2002
+++ Hanoi.txt-esc	Thu Mar 21 13:54:55 2002
@@ -29,21 +29,21 @@
 (\forall int i; (0 <= i && i <= this.diskLocation.length-1) ==> (this.diskLocation[i] == 0))
 ===========================================================================
 six170.Hanoi.moveDisk(int, int):::ENTER
-    Variables: fromPeg toPeg this this.diskLocation this.diskLocation[] this.height this.noOutput size(this.diskLocation[]) size(this.diskLocation[])-1
+    Variables: fromPeg toPeg this this.diskLocation this.diskLocation[] this.height this.noOutput size(this.diskLocation[]) size(this.diskLocation[])-1 this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1]
 toPeg == 0 || toPeg == 1 || toPeg == 2
 this.noOutput == true
 fromPeg != toPeg
 !(\forall int i; (0 <= i && i <= this.diskLocation.length-1) ==> (this.diskLocation[i] != fromPeg))
 ===========================================================================
 six170.Hanoi.moveDisk(int, int):::EXIT57
-    Variables: fromPeg toPeg this this.diskLocation this.diskLocation[] this.height this.noOutput orig(fromPeg) orig(toPeg) orig(this) orig(this.diskLocation) orig(this.diskLocation[]) orig(this.height) orig(this.noOutput) size(this.diskLocation[]) size(this.diskLocation[])-1 orig(size(this.diskLocation[])) orig(size(this.diskLocation[]))-1
-      Modified variables: this.diskLocation[]
+    Variables: fromPeg toPeg this this.diskLocation this.diskLocation[] this.height this.noOutput orig(fromPeg) orig(toPeg) orig(this) orig(this.diskLocation) orig(this.diskLocation[]) orig(this.height) orig(this.noOutput) size(this.diskLocation[]) size(this.diskLocation[])-1 orig(size(this.diskLocation[])) orig(size(this.diskLocation[]))-1 this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] orig(this.diskLocation[fromPeg]) orig(this.diskLocation[fromPeg-1]) orig(this.diskLocation[fromPeg..]) orig(this.diskLocation[fromPeg+1..]) orig(this.diskLocation[0..fromPeg]) orig(this.diskLocation[0..fromPeg-1]) this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1] orig(this.diskLocation[toPeg]) orig(this.diskLocation[toPeg-1]) orig(this.diskLocation[toPeg..]) orig(this.diskLocation[toPeg+1..]) orig(this.diskLocation[0..toPeg]) orig(this.diskLocation[0..toPeg-1])
+      Modified variables: this.diskLocation[] this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1]
       Unmodified variables: fromPeg toPeg this this.diskLocation this.height this.noOutput size(this.diskLocation[])
 modifies this.diskLocation[*]
 !(\forall int i; (0 <= i && i <= this.diskLocation.length-1) ==> (this.diskLocation[i] != toPeg))
 ===========================================================================
 six170.Hanoi.moveTower(int, int, int):::ENTER
-    Variables: fromPeg toPeg towerHeight this this.diskLocation this.diskLocation[] this.height this.noOutput size(this.diskLocation[]) size(this.diskLocation[])-1 this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight..] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1]
+    Variables: fromPeg toPeg towerHeight this this.diskLocation this.diskLocation[] this.height this.noOutput size(this.diskLocation[]) size(this.diskLocation[])-1 this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1] this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight..] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1]
 fromPeg == this.diskLocation[towerHeight-1]
 fromPeg == 0 || fromPeg == 1 || fromPeg == 2
 toPeg == 0 || toPeg == 1 || toPeg == 2
@@ -53,8 +53,8 @@
 towerHeight <= this.height
 ===========================================================================
 six170.Hanoi.moveTower(int, int, int):::EXIT98
-    Variables: fromPeg toPeg towerHeight this this.diskLocation this.diskLocation[] this.height this.noOutput orig(fromPeg) orig(toPeg) orig(towerHeight) orig(this) orig(this.diskLocation) orig(this.diskLocation[]) orig(this.height) orig(this.noOutput) size(this.diskLocation[]) size(this.diskLocation[])-1 orig(size(this.diskLocation[])) orig(size(this.diskLocation[]))-1 this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight..] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1] orig(this.diskLocation[towerHeight]) orig(this.diskLocation[towerHeight-1]) orig(this.diskLocation[towerHeight..]) orig(this.diskLocation[towerHeight+1..]) orig(this.diskLocation[0..towerHeight]) orig(this.diskLocation[0..towerHeight-1])
-      Modified variables: this.diskLocation[] this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1]
+    Variables: fromPeg toPeg towerHeight this this.diskLocation this.diskLocation[] this.height this.noOutput orig(fromPeg) orig(toPeg) orig(towerHeight) orig(this) orig(this.diskLocation) orig(this.diskLocation[]) orig(this.height) orig(this.noOutput) size(this.diskLocation[]) size(this.diskLocation[])-1 orig(size(this.diskLocation[])) orig(size(this.diskLocation[]))-1 this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] orig(this.diskLocation[fromPeg]) orig(this.diskLocation[fromPeg-1]) orig(this.diskLocation[fromPeg..]) orig(this.diskLocation[fromPeg+1..]) orig(this.diskLocation[0..fromPeg]) orig(this.diskLocation[0..fromPeg-1]) this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1] orig(this.diskLocation[toPeg]) orig(this.diskLocation[toPeg-1]) orig(this.diskLocation[toPeg..]) orig(this.diskLocation[toPeg+1..]) orig(this.diskLocation[0..toPeg]) orig(this.diskLocation[0..toPeg-1]) this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight..] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1] orig(this.diskLocation[towerHeight]) orig(this.diskLocation[towerHeight-1]) orig(this.diskLocation[towerHeight..]) orig(this.diskLocation[towerHeight+1..]) orig(this.diskLocation[0..towerHeight]) orig(this.diskLocation[0..towerHeight-1])
+      Modified variables: this.diskLocation[] this.diskLocation[fromPeg] this.diskLocation[fromPeg-1] this.diskLocation[fromPeg..] this.diskLocation[fromPeg+1..] this.diskLocation[0..fromPeg] this.diskLocation[0..fromPeg-1] this.diskLocation[toPeg] this.diskLocation[toPeg-1] this.diskLocation[toPeg..] this.diskLocation[toPeg+1..] this.diskLocation[0..toPeg] this.diskLocation[0..toPeg-1] this.diskLocation[towerHeight] this.diskLocation[towerHeight-1] this.diskLocation[towerHeight+1..] this.diskLocation[0..towerHeight] this.diskLocation[0..towerHeight-1]
       Unmodified variables: fromPeg toPeg towerHeight this this.diskLocation this.height this.noOutput size(this.diskLocation[]) this.diskLocation[towerHeight..]
 modifies this.diskLocation[*]
 fromPeg == \old(this.diskLocation[towerHeight-1])
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:46 ./daikon-tests/DisjSets/DisjSets.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:46 ./daikon-tests/DisjSets/DisjSets.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus       497 Mar 21 13:45 ./daikon-tests/QueueAr/QueueAr.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus       976 Mar 21 13:45 ./daikon-tests/QueueAr/QueueAr.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus       536 Mar 21 13:49 ./daikon-tests/RatNum/RatNum.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:49 ./daikon-tests/RatNum/RatNum.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:52 ./daikon-tests/RatPoly/RatPoly.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:53 ./daikon-tests/RatPoly/RatPoly.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:53 ./daikon-tests/RatPolyStack/RatPolyStack.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:53 ./daikon-tests/RatPolyStack/RatPolyStack.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:54 ./daikon-tests/RatTermVec/RatTermVec.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:54 ./daikon-tests/RatTermVec/RatTermVec.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:45 ./daikon-tests/StackAr/StackAr.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:45 ./daikon-tests/StackAr/StackAr.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus      1211 Mar 21 13:47 ./daikon-tests/StreetNumberSet/StreetNumberSet.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus      2289 Mar 21 13:47 ./daikon-tests/StreetNumberSet/StreetNumberSet.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:46 ./daikon-tests/WeightedNodePath/WeightedNodePath.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:46 ./daikon-tests/WeightedNodePath/WeightedNodePath.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus       426 Mar 21 13:54 ./daikon-tests/compar/Compar1.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus       409 Mar 21 13:54 ./daikon-tests/compar/Compar1.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:54 ./daikon-tests/encapsulate_downcast/ed.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus      2869 Mar 21 13:54 ./daikon-tests/encapsulate_downcast/ed.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:54 ./daikon-tests/hanoi/Hanoi.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus      8321 Mar 21 13:54 ./daikon-tests/hanoi/Hanoi.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:54 ./daikon-tests/precedence/Precedence.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:54 ./daikon-tests/precedence/Precedence.txt-esc.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:55 ./daikon-tests/print_tokens/print_tokens.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:55 ./daikon-tests/print_tokens2/print_tokens2.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:56 ./daikon-tests/replace/replace.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:56 ./daikon-tests/schedule/schedule.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:57 ./daikon-tests/schedule2/schedule2.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 14:00 ./daikon-tests/space/space.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:58 ./daikon-tests/tcas/tcas.txt-daikon.diff
-rw-rw-r--    1 emarcus  emarcus         0 Mar 21 13:58 ./daikon-tests/tot_info/tot_info.txt-daikon.diff