GaloisInc / pate

Patches Assured up to Trace Equivalence
Other
15 stars 2 forks source link

add failing desync-zerostep test demonstrating desync/sync issue #386

Closed danmatichuk closed 3 months ago

danmatichuk commented 3 months ago

this demonstrates an issue where resync fails to correctly re-align the CFARs when one of the single-sided analyses takes zero steps (i.e. it has the same desync and resync point)