search

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

Moved sequence log capture and checkpoint restore of verifs to approp… #7

Closed adkman closed 2 years ago

adkman commented 2 years ago

…riate hooks