search

viperproject / VerifiedSCION

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

`path`: Make Len impure and add LenSpec #357

Closed jcp19 closed 3 months ago