[lttv.git] / trunk / verif / examples / run3

#!/bin/bash

../Spin/Src5.1.6/spin -a buffer.spin
cc -o pan pan.c
./pan
Commit	Line	Data
0b55f123	1	#!/bin/bash
	2
	3	../Spin/Src5.1.6/spin -a buffer.spin
	4	cc -o pan pan.c
	5	./pan