add formal verif

[lttv.git] / trunk / verif / Spin / Test / hello

init {
        printf("passed first test!\n")
}