From 0b93929a096b66fe4a21c30a817026709a3f8eb3 Mon Sep 17 00:00:00 2001
From: Angello Astorga <aastorg2@illinois.edu>
Date: Tue, 15 Mar 2022 19:24:49 -0500
Subject: [PATCH] adding command to copy frsh file before execution
---
sygus_learner.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sygus_learner.py b/sygus_learner.py
index ec8b3d9..1a2e83b 100644
--- a/sygus_learner.py
+++ b/sygus_learner.py
@@ -11,7 +11,7 @@ class SygusLearner(LearnerBase):
def __init__(self, state_dim, perc_dim, timeout=10000):
self.file = 'shapes_split.sl'
self.template_file = 'template_sygus.sl'
- shutil.copyfile(self.template_file, self.file )
+ shutil.copyfile(self.template_file, self.file)
def set_grammar(self, grammar) -> None:
raise NotImplementedError
--
GitLab