initial assume [rst] always -1 assume (not [rst]) assume (=> [-1:inv2] [inv2]) final -2 assume [-1:inv2] assume (not [-2:inv2]) assert (= [r1] [r2]) panaceas.org/cgit/xen/xen/atom/tools/ioemu/kqemu.c?h=master' type='application/atom+xml'/>
![]() |
index : xen/xen | |
| xen | James |
| aboutsummaryrefslogtreecommitdiffstats |