From 3d6738c9406c70bd3593b49c596bcf451bc2b946 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Fran=C3=A7ois=20Fleuret?= Date: Sat, 8 Jul 2023 21:50:12 +0200 Subject: [PATCH] Update. --- expr.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/expr.py b/expr.py index d07d09f..8690504 100755 --- a/expr.py +++ b/expr.py @@ -48,7 +48,7 @@ def generate_program(nb_variables, length): # We take length itself half of the time, and uniform between 1 # and length otherwise. The actual length can be slightly greater - length = min(length, 1+torch.randint(length*2, (1,)).item()) + length = min(length, 1 + torch.randint(length * 2, (1,)).item()) while len(s) < length: v = random_var(nb_variables=nb_variables) s += v + "=" + random_expr(variables, budget=20) + ";" @@ -69,7 +69,7 @@ def extract_results(seq): def generate_sequences(nb, nb_variables=5, length=20): assert nb_variables <= 26 sequences = [] - result_max=99 + result_max = 99 for n in range(nb): result = None while result == None or max(result.values()) > result_max: -- 2.20.1