Skip to content

Commit bead97f

Browse files
committed
Delete abstract_fs folder that was used to test VeriFS2 checkpoint/restore APIs with abstract states and Racer
1 parent 2401cc1 commit bead97f

File tree

6 files changed

+1
-113
lines changed

6 files changed

+1
-113
lines changed

.gitignore

+1
Original file line numberDiff line numberDiff line change
@@ -4,3 +4,4 @@ tmp/
44
*.log
55
.vscode/
66
tests/test_symlink.sh
7+
abstract_fs_test/

abstract_fs/MD5_hash_records.txt

-60
This file was deleted.

abstract_fs/Makefile

-24
This file was deleted.

abstract_fs/common-libs.a

-951 KB
Binary file not shown.

abstract_fs/compute_astates

-409 KB
Binary file not shown.

abstract_fs/compute_astates.c

-29
This file was deleted.

0 commit comments

Comments
 (0)