projects / lttv.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
add formal verif
[lttv.git] / trunk / verif / examples / run
1 #!/bin/bash
2
3 ../Spin/Src5.1.6/spin -a buffer.spin
4 cc -DSAFETY -o pan pan.c
5 ./pan
LTTng 2.x Viewer (LTTV)
This page took 0.029387 seconds and 4 git commands to generate.