Enable/Disable Checkpoint and Restore Operations in Replayer via Macro

sbu-fsl / Metis

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

Apache License 2.0

10 stars 2 forks source link

Enable/Disable Checkpoint and Restore Operations in Replayer via Macro #14

Closed divyaankt closed 4 months ago

divyaankt commented 4 months ago

When Metis' replayer is used to replay a long sequence log, checkpoint and restore operations cause the execution to terminate abruptly due to a memory leak in do_checkpoint(). This fix allows replaying the sequence log with checkpoint and restore operations disabled via a macro.