search

dslab-epfl / klint

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).
MIT License
8 stars 5 forks source link

Fix a typo in the environment variables #4

Closed kylerky closed 2 years ago

SolalPirelli commented 2 years ago

Oops 🤦 . Nice catch, thanks.