---

Verify.java

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

import java.util.Random;

public class Verify {
  static public void assert(boolean cond) {
    if (!cond)
      throw new RuntimeException("assertion failed");
  }  
  static public void atLabel(int label) {
  }  
  static public void atLabel(String label) {
  }  
  static public void beginAtomic() {
  }  
  static public void beginSoftAtomic() {
  }  
  static public void dumpState() {
  }  
  static public void endAtomic() {
  }  
  static public void endSoftAtomic() {
  }  
  static public int random(int max) {
    return 0;
  }  
  static public boolean randomBool() {
    return false;
  }  
}

---