Example of rewrite rules use that comes from an harness test
authorFrançois Bobot <francois@bobot.eu>
Fri, 23 Nov 2012 14:37:40 +0000 (14:37 +0000)
committerFrançois Bobot <francois@bobot.eu>
Fri, 23 Nov 2012 14:37:40 +0000 (14:37 +0000)
commit16b38e0965a9b16b7c1aa1cddb4bf243631159e4
tree5197598cfb68a609e46f573a46552af785240d75
parent9fe111daad65bc1b6375cc5ed18d3c8eba65887f
Example of rewrite rules use that comes from an harness test
test/regress/regress0/rewriterules/why3_vstte10_max_sum_harness2.smt [new file with mode: 0644]
test/regress/regress0/rewriterules/why3_vstte10_max_sum_harness2_rr.smt [new file with mode: 0644]
test/regress/regress0/rewriterules/why3_vstte10_max_sum_harness3.smt [new file with mode: 0644]
test/regress/regress0/rewriterules/why3_vstte10_max_sum_harness3_rr.smt [new file with mode: 0644]