From 8b6f8e5fb85bcd1b3257550270c4c857d4ee7f55 Mon Sep 17 00:00:00 2001 From: Son Ho Date: Wed, 9 Nov 2022 18:04:03 +0100 Subject: Implement the generation of stateful backward functions (controlled by an option) --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 489b6f1c..4794d3be 100644 --- a/.gitignore +++ b/.gitignore @@ -35,6 +35,7 @@ rust-scripts/target/ .depend *.hints tests/betree/obj/ +tests/betree_back_stateful/obj/ tests/hashmap/obj/ tests/hashmap_on_disk/obj/ tests/misc/obj/ -- cgit v1.2.3