Runner.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 public class Runner {
00004   static public int max_stack_depth     = 0;
00005 // ifdef RACE
00006   static public int race_conditions     = 0;
00007   static public int lock_conflicts      = 0;
00008 //#endif RACE
00009 // ifdef NO_COMPRESSION
00010   static public int storage_memory      = 0;
00011 //#endif NO_COMPRESSION
00012 // ifdef DISTRIBUTED
00013 
00014 
00015 
00016 
00017 
00018 //#endif DISTRIBUTED
00019 // ifdef MARK_N_SWEEP
00020   static public int GCRuns      = 0;
00021 //#endif MARK_N_SWEEP
00022 // ifdef MARK_N_SWEEP
00023   static public int GCs         = 0;
00024 //#endif MARK_N_SWEEP
00025   static public int instructions    = 0;
00026   static public long used_memory    = 0;
00027 }