---

JVMOptions.java

package gov.nasa.arc.ase.jpf.jvm;

import gov.nasa.arc.ase.jpf.JPFOptions;
import gov.nasa.arc.ase.util.Debug;
import java.util.*;

public class JVMOptions extends JPFOptions {
  public boolean    verify_print        = true;
// ifdef MARK_N_SWEEP
  public boolean    garbage_collection  = true;
//#else MARK_N_SWEEP

//#endif MARK_N_SWEEP
  public boolean    bytecode_dump       = false;
  public boolean    heap_symmetry       = false; // obsolete
  public boolean    reached_statements  = false;
  public int        search_depth        = -1;
// ifdef RACE
  public boolean        race                    = false;
  public boolean        post_verify             = false;
  public int            race_level              = 3;
  public boolean        lock_order              = false;
  public boolean        depend                  = false;
//#endif RACE
  public boolean    hashcompact     = false;
  public boolean    atomic_init     = true;

  public JVMOptions(Class m) {
    super(m);
  }  
  public String[] parse(String[] args) {
    String[] p = super.parse(args);

// ifdef MARK_N_SWEEP








//#endif MARK_N_SWEEP

// ifdef NO_DYNAMIC_SYMMETRY







//#endif NO_DYNAMIC_SYMMETRY

    return p;
  }  
}

---