?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
fix sessions and CE oracles
[why3.git] / tests / test_theory_expl.why
blob1984563926b2fcca8fdbd6587ce08bb4dfaea929
1
2 theory T "expl:my explanation"
3
4   goal g "expl:my goal" : false
5
6 end
A platform for deductive program verification