update
[lttv.git] / trunk / verif / examples / run2
CommitLineData
0b55f123 1#!/bin/bash
2../Spin/Src5.1.6/spin -t -p buffer.spin |less
This page took 0.033126 seconds and 4 git commands to generate.