cmu-db / dbgym

An end-to-end research vehicle for studying self-driving DBMSs.
MIT License
14 stars 1 forks source link

Automated workspace pruning/cleaning #35

Closed wangpatrick57 closed 2 months ago

wangpatrick57 commented 3 months ago

Summary: A command to find and remove unneeded files from the workspace directory.

Demo: Passing 25 unit tests with many edge cases which create files/directories, call clean_workspace(), and then verify its contents. Screenshot 2024-07-07 at 17 05 07

Details