summarylogtreecommitdiffstats
path: root/jpf
blob: cf232647e86f2ad4c19b63280f46775ce037c527 (plain) 
1
2
3
4

#!/bin/sh
export CLASSPATH="/usr/share/java/jpf/*"

java gov.nasa.jpf.tool.RunJPF "$@"