Adding free(buffer) to the do_restore() method to avoid memory leak

sbu-fsl / Metis

Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)

Apache License 2.0

7 stars 1 forks source link

Closed adkman closed 2 years ago