Review and improve verifier interactive menu items

GaloisInc / pate

Patches Assured up to Trace Equivalence

Other

15 stars 2 forks source link

Open thebendavis opened 2 months ago

thebendavis commented 2 months ago

We may be able to:

clarify the wording of some verifier interactive menu options
better distinguish between options that are the most likely "recommended" options for users vs. options available for debugging or advanced usage