?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
add regression test from BTS
[why3.git] / bench / true_goal.why
blobb3e320f1e8478bdb719e4a797b950151b96748a1
1 theory True
2   goal True : true
3 end
A platform for deductive program verification