viperproject / VerifiedSCION

Verifying the SCION architecture using Gobra
Apache License 2.0
10 stars 2 forks source link

Merge criteria `StronglyValid()` and `FullyValid()` for `scion.Base` #365

Closed jcp19 closed 2 months ago

jcp19 commented 2 months ago

After merging #364, parsePath will guarantee that FullyValid() holds, and thus, the distinction between StronglyValid() and FullyValid() is not necessary anymore. I recommend merging these two properties into one, called Valid(), and to add a comment with the old nomenclatures.