search

GaloisInc / pate

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

Dm/desync #359

Closed danmatichuk closed 7 months ago

danmatichuk commented 7 months ago

WIP: adding desync/sync point tests and fixing issue with providing desync points