From c084fca9b9c48e436e56ec1306f50b89f565cd7d Mon Sep 17 00:00:00 2001 From: breandan Date: Sun, 14 Apr 2024 19:02:15 -0400 Subject: [PATCH] disable length bounds precomputation --- galoisenne | 2 +- .../mcgill/cstk/experiments/repair/PythonBarHillelRepair.kt | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/galoisenne b/galoisenne index 7e4ff07..ff81d59 160000 --- a/galoisenne +++ b/galoisenne @@ -1 +1 @@ -Subproject commit 7e4ff078b179b154e193221b3873d5f635934214 +Subproject commit ff81d598c68dba853960426e6fe5c95077870f1c diff --git a/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonBarHillelRepair.kt b/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonBarHillelRepair.kt index ecdd8df..9bb30e8 100644 --- a/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonBarHillelRepair.kt +++ b/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonBarHillelRepair.kt @@ -24,8 +24,8 @@ fun main() { // MAX_UNIQUE = 1_000 TIMEOUT_MS = 30_000 MIN_TOKENS = 3 - MAX_TOKENS = 60 - MAX_RADIUS = 3 + MAX_TOKENS = 50 + MAX_RADIUS = 2 CFG_THRESH = 10_000 evaluateBarHillelRepairOnStackOverflow() // evaluateSeq2ParseRepair()