From 46fc11447a7f86f1cce6fda6e46b915b96a3ddba Mon Sep 17 00:00:00 2001 From: breandan Date: Mon, 17 Apr 2023 23:58:22 -0400 Subject: [PATCH] declutter arguments --- galoisenne | 2 +- .../edu/mcgill/cstk/experiments/repair/PythonStatementRepair.kt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/galoisenne b/galoisenne index 140d7c91..ac542ab1 160000 --- a/galoisenne +++ b/galoisenne @@ -1 +1 @@ -Subproject commit 140d7c9119980cbfdb01c3fc403db38363c56ac6 +Subproject commit ac542ab11f9300fdd00f6782f541aadcd46efd6d diff --git a/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonStatementRepair.kt b/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonStatementRepair.kt index ac958ed6..54615782 100644 --- a/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonStatementRepair.kt +++ b/src/main/kotlin/edu/mcgill/cstk/experiments/repair/PythonStatementRepair.kt @@ -69,7 +69,7 @@ private fun optRepair(clock: TimeSource.Monotonic.ValueTimeMark): CFG.(List<Σ @OptIn(ExperimentalTime::class) private fun satRepair(clock: TimeSource.Monotonic.ValueTimeMark): CFG.(List<Σᐩ>) -> Sequence<Σᐩ> = - { a: List<Σᐩ> -> asCJL.synthesize(a, takeMoreWhile = { clock.elapsedNow().inWholeMilliseconds < TIMEOUT_MS }) } + { a: List<Σᐩ> -> asCJL.synthesize(a, takeMoreWhile = { clock.elapsedNow().inWholeMilliseconds < TIMEOUT_MS }) } @OptIn(ExperimentalTime::class) private fun setRepair(clock: TimeSource.Monotonic.ValueTimeMark): CFG.(List<Σᐩ>) -> Sequence<Σᐩ> =