search

dslab-epfl / klint

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

Test CI #8

Closed SolalPirelli closed 1 year ago

SolalPirelli commented 1 year ago

cc @tharvik , it works!

tharvik commented 1 year ago

haa, perfect :)