Suppose that Bandera is installed in /usr/local/bin/bandera
.
To copy the examples directory, give the following commands.
mkdir ~/bandera-tutorial cp -Rf /usr/local/bin/bandera/tutorial ~/bandera-tutorial
To invoke Bandera, type:
cd ~/bandera-tutorial java Bandera