Callback logging

Author Jonathan Bell <jbell@cs.columbia.edu>
Author date 2012-08-15 20:51:23
Author local date 2012-08-15 16:51:23 -0400
Committer Jonathan Bell <jbell@cs.columbia.edu>
Committer date 2012-08-15 20:51:23
Committer local date 2012-08-15 16:51:23 -0400
Commit e5f68c93731283acb72997a1c9f8a119ca350fe8
Tree 916a799cb67904e1ae8801d96a17c7ede69bbe99
Parent 3d62d8c9a07e5f37ac6539a59c0a5d59e52b542d
Callback logging
Affected files:
native-detector/native-methods-to-ignore.txt
testcase-generation-tester/.classpath
testcase-generation/nondeterministic-methods.txt
testcase-generation/src/edu/columbia/cs/psl/wallace/ExportedLog.java
testcase-generation/src/edu/columbia/cs/psl/wallace/Instrumenter.java
testcase-generation/src/edu/columbia/cs/psl/wallace/MethodCall.java
testcase-generation/src/edu/columbia/cs/psl/wallace/SerializableLog.java
testcase-generation/src/edu/columbia/cs/psl/wallace/WallaceExportRunner.java
testcase-generation/src/edu/columbia/cs/psl/wallace/analysis/MutabilityAnalyzer.java
testcase-generation/src/edu/columbia/cs/psl/wallace/replay/NonDeterministicReplayClassVisitor.java
testcase-generation/src/edu/columbia/cs/psl/wallace/replay/NonDeterministicReplayMethodVisitor.java
testcase-generation/src/edu/columbia/cs/psl/wallace/replay/ReplayRunner.java
testcase-generation/src/edu/columbia/cs/psl/wallace/replay/Replayer.java
testcase-generation/src/edu/columbia/cs/psl/wallace/visitor/CloningAdviceAdapter.java
testcase-generation/src/edu/columbia/cs/psl/wallace/visitor/NonDeterministicLoggingClassVisitor.java
testcase-generation/src/edu/columbia/cs/psl/wallace/xstream/StaticReflectionProvider.java