Adding the old tracker variable for debugging/testing purposes.
[jpf-core.git] / src / main / gov / nasa / jpf / listener /
drwxr-xr-x   ..
-rw-r--r-- 3486 AssertionProperty.java
-rw-r--r-- 5943 BudgetChecker.java
-rw-r--r-- 2878 CGMonitor.java
-rw-r--r-- 8315 CGRemover.java
-rw-r--r-- 2440 CallMonitor.java
-rw-r--r-- 6317 ChoiceSelector.java
-rw-r--r-- 5761 ChoiceTracker.java
-rw-r--r-- 20261 ConflictTracker.java
-rw-r--r-- 19807 ConflictTrackerOld.java
-rw-r--r-- 35412 CoverageAnalyzer.java
-rw-r--r-- 14781 DeadlockAnalyzer.java
-rw-r--r-- 5159 DistributedSimpleDot.java
-rw-r--r-- 22862 EfficientStateReducer.java
-rw-r--r-- 1675 EndlessLoopDetector.java
-rw-r--r-- 3900 ErrorTraceGenerator.java
-rw-r--r-- 10859 ExceptionInjector.java
-rw-r--r-- 8721 ExecTracker.java
-rw-r--r-- 13400 HeapTracker.java
-rw-r--r-- 8246 IdleFilter.java
-rw-r--r-- 3004 InsnCounter.java
-rw-r--r-- 11852 LockedStackDepth.java
-rw-r--r-- 4908 LogConsole.java
-rw-r--r-- 11092 MethodAnalyzer.java
-rw-r--r-- 4788 MethodTracker.java
-rw-r--r-- 3488 NoStateCycles.java
-rw-r--r-- 4900 NonSharedChecker.java
-rw-r--r-- 11222 NullTracker.java
-rw-r--r-- 8135 NumericValueChecker.java
-rw-r--r-- 5492 OOMEInjector.java
-rw-r--r-- 7679 ObjectTracker.java
-rw-r--r-- 5522 OverlappingMethodAnalyzer.java
-rw-r--r-- 12153 PathOutputMonitor.java
-rw-r--r-- 17473 Perturbator.java
-rw-r--r-- 8803 PreciseRaceDetector.java
-rw-r--r-- 3536 ReferenceLocator.java
-rw-r--r-- 5132 SearchStats.java
-rw-r--r-- 14769 SimpleDot.java
-rw-r--r-- 3497 SimpleIdleFilter.java
-rw-r--r-- 2437 StackDepthChecker.java
-rw-r--r-- 3479 StackTracker.java
-rw-r--r-- 4909 StateCountEstimator.java
-rw-r--r-- 31388 StateReducer.java
-rw-r--r-- 21220 StateReducerEfficient.java
-rw-r--r-- 20791 StateSpaceAnalyzer.java
-rw-r--r-- 16962 StateSpaceDot.java
-rw-r--r-- 3218 StateTracker.java
-rw-r--r-- 5090 StopWatchFuzzer.java
-rw-r--r-- 4894 TraceStorer.java
-rw-r--r-- 12098 VarRecorder.java
-rw-r--r-- 9571 VarTracker.java
-rw-r--r-- 12991 VariableConflictTracker.java