Update app.py
Browse files
app.py
CHANGED
@@ -30,9 +30,8 @@ Result = Tuple[str, List[bool]]
|
|
30 |
def get_groundtruth(n_workers, problems, hashcode, check_gt_only, max_as_limit, max_data_limit, max_stack_limit, min_time_limit):
|
31 |
cache_file = os.path.join(CACHE_DIR, f"{hashcode}.pkl")
|
32 |
if os.path.exists(cache_file):
|
33 |
-
|
34 |
-
|
35 |
-
return pickle.load(f)
|
36 |
|
37 |
os.makedirs(CACHE_DIR, exist_ok=True)
|
38 |
tbegin = time.time()
|
|
|
30 |
def get_groundtruth(n_workers, problems, hashcode, check_gt_only, max_as_limit, max_data_limit, max_stack_limit, min_time_limit):
|
31 |
cache_file = os.path.join(CACHE_DIR, f"{hashcode}.pkl")
|
32 |
if os.path.exists(cache_file):
|
33 |
+
with open(cache_file, "rb") as f:
|
34 |
+
return pickle.load(f)
|
|
|
35 |
|
36 |
os.makedirs(CACHE_DIR, exist_ok=True)
|
37 |
tbegin = time.time()
|