sbu-fsl / Metis

Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)
Apache License 2.0
11 stars 2 forks source link

Checking whether NOVA fs can be checkpointed #8

Closed ahuja-gautam closed 1 year ago

ahuja-gautam commented 1 year ago

I had to rename generate_data in fs_testutil.h to some other generate_test_data since its signature was colliding with fileutils.h which i needed to include for checkpointing and getting fsize.

Image showing the FS contents at mount point: image

1- Initial period 2- After unmounting, checkpoint and remount 3- After unmount again and restore