#! /bin/sh

# script to run UIInspector with error path reporting on TestMe (standard JPF UI test example)

../../../bin/javajpf gov.nasa.jpf.tools.UIInspector \
  +jpf.basedir=../../.. \
  +inspect.script=TestMe.es \
  +inspect.trace=TestMe.trace \
  "ase2006.TestMe.TestMe"
