/usr/bin/gwhy is in why 2.30+dfsg-3.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 | #!/bin/sh
case $1 in
*.java)
b=`basename $1 .java`
krakatoa $1 || exit 1
echo "krakatoa on $b.java done"
d=`dirname $1`
echo "cd $d"
cd $d
jessie -locs $b.jloc -why-opt -split-user-conj $b.jc || exit 2
echo "jessie done"
make -f $b.makefile gui
;;
*.c)
frama-c -jessie -jessie-why-opt="-split-user-conj" $1 || exit 1
;;
*.jc)
b=`basename $1 .jc`
jessie -why-opt -split-user-conj $b.jc || exit 1
make -f $b.makefile gui
;;
*.mlw|*.why)
gwhy-bin -split-user-conj $1
;;
*)
echo "don't know what to do with $1"
esac
|