Fixed replaying to work with the new logging facilities

Author Jonathan Bell <jbell@cs.columbia.edu>
Author date 2012-08-10 02:56:01
Author local date 2012-08-09 22:56:01 -0400
Committer Jonathan Bell <jbell@cs.columbia.edu>
Committer date 2012-08-10 02:56:01
Committer local date 2012-08-09 22:56:01 -0400
Commit 65628e22077c9d60d0233effb6d6a0b90b5c5be3
Tree fba71c995a75dd9b9b82278c7e107600fd3d5c22
Parent 3bb625359811f1a201c74d38512f6d2881cd5efe
Fixed replaying to work with the new logging facilities
Affected files:
testcase-generation-tester/.classpath
testcase-generation-tester/.settings/org.eclipse.jdt.core.prefs
testcase-generation-tester/src/edu/columbia/cs/psl/invivo/example/ReaderUser.java
testcase-generation/.classpath
testcase-generation/.settings/org.eclipse.jdt.core.prefs
testcase-generation/src/edu/columbia/cs/psl/invivo/record/Instrumenter.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/visitor/CloningAdviceAdapter.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/visitor/NonDeterministicLoggingClassVisitor.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/visitor/NonDeterministicLoggingMethodVisitor.java
testcase-generation/src/edu/columbia/cs/psl/invivo/record/xstream/StaticReflectionProvider.java
testcase-generation/src/edu/columbia/cs/psl/invivo/replay/NonDeterministicReplayClassVisitor.java
testcase-generation/src/edu/columbia/cs/psl/invivo/replay/NonDeterministicReplayMethodVisitor.java