Allow for divergence locations to be provided as input

GaloisInc / pate

Patches Assured up to Trace Equivalence

Other

15 stars 2 forks source link

Allow for divergence locations to be provided as input #354

Closed danmatichuk closed 3 months ago

danmatichuk commented 8 months ago

Currently divergence locations are chosen as the start of the block where a control flow divergence is found. We would like to have more precision in these points by allowing the user to specify exactly which instruction/address the control flow diverged at.

danmatichuk commented 8 months ago

[ ] #356
[ ] #355

thebendavis commented 3 months ago

completed