Revision - 8cb3e88 - extend conseq rules: equivF => hoareF => hoareF and equivF => [...]

Revision 8cb3e88e94b97a62065382445fa155233935f522 authored by Benjamin Gregoire on 13 November 2020, 11:33:30 UTC, committed by Benjamin Gregoire on 13 November 2020, 11:33:47 UTC

extend conseq rules: equivF => hoareF => hoareF and equivF => phoareF => phoareF

1 parent 4391b04

Files
Changes

Permalinks

File	Mode	Size
tests.config	-rw-r--r--	343 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...