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

#!/bin/bash

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