add debug to state.c
[lttv.git] / trunk / verif / spin516.tar.gz
CommitLineData