nevermind, the results are worse when an assign is free

.
2025-08-11 18:50:32 -05:00 · 2025-08-10 13:40:12 -05:00
3 changed files with 1 additions and 1 deletions
--- a/get_cached_simplifications.c
+++ b/get_cached_simplifications.c
@ -25,7 +25,7 @@ static struct path { char data[PATH_MAX]; } get_path(
 {
    struct path path = {};
-    strcat(path.data, ".simplifier-cache-1");
+    strcat(path.data, ".simplifier-cache-64GB");
    if (flags->use_operators.not)
        strcat(path.data, "-not");
--- a/update_simplifications.c
+++ b/update_simplifications.c
--- a/update_simplifications.h
+++ b/update_simplifications.h
Author	SHA1	Message	Date
Zander Thannhauser	154b1b38bf	nevermind, the results are worse when an assign is free	2025-08-11 18:50:32 -05:00
Zander Thannhauser	21c7967f44	.	2025-08-10 13:40:12 -05:00