Added unit tests for TransitiveClosure class, modified GraphVizExporterTests to reflect previous edit, added a getter to TransitiveClosure to make testing easier
Added tests to TransitiveClosureTests, wrote unit tests for AllRelationsTransitiveClosure, fixed a minor bug in AllRelationsTransitiveClosure (isReachable method)
Added --showGui option to run the gui, refactored gui code, eliminated various compilation warnings.
Added jung libraries to synoptic.sh classpath.
Gui now has a button that does refinement, --showGui starts with an initial graph. Removed custom log file parser code, and petri net code. Various refactoring.
Tests for kTails, rewrote kTails implementation correctly. Removed non-canonical graph exporting.
minor fix to source file
Expanded kTails to work on graphs with cycles + tests. Found bugs in and rewrote vector clock graph construction code that uses clock partial-ordering.
Some simple counter-example model checker tests.
Fixed junit test running from command line with junit < 4.8.1 (e.g. on hudson)
Added more model checker tests. Added shortening of counter-examples to fsmchecker, expanded shortening to perform loop elimination. Corrected trace parser's initial graph construction for partial orderings.
Replaced HashMaps and HashSets with their Linked equivalents, added an invisible option to suppress PNG dumps for testing purposes
#!/bin/sh

> output/mid_branching/diff.txt

numRuns=200

# run synoptic numRuns times
for (( i = 1; i <= $numRuns ; i++ ))
do
    java -ea -cp ./lib/plume.jar:./synoptic/bin/ synoptic.main.Main -o output/mid_branching/trace$i --randomSeed=19580427 --dumpInitialGraph=false --dumpPNG=false ./traces/abstract/mid_branching/trace.txt -c ./traces/abstract/mid_branching/determineArgs.txt
done


# diff the first run with all other runs
for (( i = 2; i <= $numRuns ; i++ ))
do
    diff output/mid_branching/trace1.dot output/mid_branching/trace$i.dot >> output/mid_branching/diff.txt
done


# if every run is not identical, diff will exist with a length greater than 0
if [ -s diff.txt ]; then
    echo "Differences found";
else
    echo "No differences found";
fi


# delete files created by this script
for (( i = 1; i <= $numRuns ; i++ ))
do
    rm output/mid_branching/trace$i.dot
done
rm output/mid_branching/diff.txt

$*
Add "-version" to javac command, temporarily, for Hudson debugging.
Fixed hudson-reported compile time errors for javac 1.6.0_23. Also some initial work on vector-time index set partitioning.
testing post-commit hook for hudson
Added junit lib, modified classpath and synoptic.sh to use it.
New ant build file with junit targets.
Passifying Hudson's stricter java runtime.