Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
|
@@ -5,6 +5,10 @@ import os
|
|
| 5 |
import threading
|
| 6 |
import time
|
| 7 |
import uuid
|
|
|
|
|
|
|
|
|
|
|
|
|
| 8 |
|
| 9 |
class Logger:
|
| 10 |
def __init__(self, filename):
|
|
@@ -34,8 +38,10 @@ def generate_command(
|
|
| 34 |
command = [default_command]
|
| 35 |
|
| 36 |
if jsonl_file is not None:
|
| 37 |
-
|
| 38 |
-
|
|
|
|
|
|
|
| 39 |
|
| 40 |
command.extend(["--split", split, "--subset", subset])
|
| 41 |
|
|
@@ -61,6 +67,21 @@ def generate_command(
|
|
| 61 |
return " ".join(command)
|
| 62 |
|
| 63 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 64 |
def run_bigcodebench(command):
|
| 65 |
global is_running
|
| 66 |
is_running = True
|
|
@@ -82,23 +103,27 @@ def run_bigcodebench(command):
|
|
| 82 |
is_running = False
|
| 83 |
yield "Evaluation completed.\n"
|
| 84 |
|
| 85 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 86 |
global is_running
|
|
|
|
|
|
|
| 87 |
if is_running:
|
| 88 |
yield "A command is already running. Please wait for it to finish.\n"
|
| 89 |
return
|
| 90 |
|
|
|
|
|
|
|
|
|
|
| 91 |
log_content = []
|
| 92 |
for log_line in run_bigcodebench(command):
|
| 93 |
log_content.append(log_line)
|
| 94 |
yield "".join(log_content)
|
| 95 |
-
|
| 96 |
-
|
| 97 |
-
def read_logs(log_file):
|
| 98 |
-
if os.path.exists(log_file):
|
| 99 |
-
with open(log_file, "r") as f:
|
| 100 |
-
return f.read()
|
| 101 |
-
return ""
|
| 102 |
|
| 103 |
|
| 104 |
with gr.Blocks() as demo:
|
|
@@ -113,20 +138,23 @@ with gr.Blocks() as demo:
|
|
| 113 |
save_pass_rate = gr.Checkbox(label="Save Pass Rate")
|
| 114 |
parallel = gr.Number(label="Parallel (optional)", precision=0)
|
| 115 |
min_time_limit = gr.Number(label="Min Time Limit", value=1, precision=1)
|
| 116 |
-
max_as_limit = gr.Number(label="Max AS Limit", value=
|
| 117 |
|
| 118 |
with gr.Row():
|
| 119 |
-
max_data_limit = gr.Number(label="Max Data Limit", value=
|
| 120 |
-
max_stack_limit = gr.Number(label="Max Stack Limit", value=
|
| 121 |
check_gt_only = gr.Checkbox(label="Check GT Only")
|
| 122 |
no_gt = gr.Checkbox(label="No GT")
|
| 123 |
|
| 124 |
command_output = gr.Textbox(label="Command", value=default_command, interactive=False)
|
| 125 |
-
|
| 126 |
-
|
|
|
|
|
|
|
| 127 |
|
| 128 |
-
# Hidden component to store the
|
| 129 |
-
|
|
|
|
| 130 |
def update_command(*args):
|
| 131 |
return generate_command(*args)
|
| 132 |
|
|
@@ -139,18 +167,25 @@ with gr.Blocks() as demo:
|
|
| 139 |
for component in input_components:
|
| 140 |
component.change(update_command, inputs=input_components, outputs=command_output)
|
| 141 |
|
| 142 |
-
def
|
| 143 |
-
|
| 144 |
-
|
| 145 |
-
|
| 146 |
-
|
| 147 |
-
|
| 148 |
-
|
| 149 |
-
|
| 150 |
-
|
| 151 |
-
|
| 152 |
-
|
| 153 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 154 |
|
| 155 |
# def update_logs(session_log_file):
|
| 156 |
# return read_logs(session_log_file)
|
|
|
|
| 5 |
import threading
|
| 6 |
import time
|
| 7 |
import uuid
|
| 8 |
+
import glob
|
| 9 |
+
import shutil
|
| 10 |
+
import urllib
|
| 11 |
+
from pathlib import Path
|
| 12 |
|
| 13 |
class Logger:
|
| 14 |
def __init__(self, filename):
|
|
|
|
| 38 |
command = [default_command]
|
| 39 |
|
| 40 |
if jsonl_file is not None:
|
| 41 |
+
# Copy the uploaded file to the current directory
|
| 42 |
+
local_filename = os.path.basename(jsonl_file.name)
|
| 43 |
+
shutil.copy(jsonl_file.name, local_filename)
|
| 44 |
+
command.extend(["--samples", local_filename])
|
| 45 |
|
| 46 |
command.extend(["--split", split, "--subset", subset])
|
| 47 |
|
|
|
|
| 67 |
return " ".join(command)
|
| 68 |
|
| 69 |
|
| 70 |
+
def cleanup_previous_files(jsonl_file=None):
|
| 71 |
+
for file in glob.glob("*.json") + glob.glob("*.log") + glob.glob("*.jsonl"):
|
| 72 |
+
try:
|
| 73 |
+
if jsonl_file is not None and file == jsonl_file:
|
| 74 |
+
continue
|
| 75 |
+
os.remove(file)
|
| 76 |
+
except Exception as e:
|
| 77 |
+
print(f"Error during cleanup of {file}: {e}")
|
| 78 |
+
|
| 79 |
+
def find_result_file():
|
| 80 |
+
json_files = glob.glob("*.json")
|
| 81 |
+
if json_files:
|
| 82 |
+
return max(json_files, key=os.path.getmtime)
|
| 83 |
+
return None
|
| 84 |
+
|
| 85 |
def run_bigcodebench(command):
|
| 86 |
global is_running
|
| 87 |
is_running = True
|
|
|
|
| 103 |
is_running = False
|
| 104 |
yield "Evaluation completed.\n"
|
| 105 |
|
| 106 |
+
result_file = find_result_file()
|
| 107 |
+
if result_file:
|
| 108 |
+
yield f"Result file found: {result_file}\n"
|
| 109 |
+
else:
|
| 110 |
+
yield "No result file found.\n"
|
| 111 |
+
|
| 112 |
+
def stream_logs(command, jsonl_file=None):
|
| 113 |
global is_running
|
| 114 |
+
if jsonl_file is not None:
|
| 115 |
+
local_filename = os.path.basename(jsonl_file.name)
|
| 116 |
if is_running:
|
| 117 |
yield "A command is already running. Please wait for it to finish.\n"
|
| 118 |
return
|
| 119 |
|
| 120 |
+
cleanup_previous_files(local_filename)
|
| 121 |
+
yield "Cleaned up previous files.\n"
|
| 122 |
+
|
| 123 |
log_content = []
|
| 124 |
for log_line in run_bigcodebench(command):
|
| 125 |
log_content.append(log_line)
|
| 126 |
yield "".join(log_content)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 127 |
|
| 128 |
|
| 129 |
with gr.Blocks() as demo:
|
|
|
|
| 138 |
save_pass_rate = gr.Checkbox(label="Save Pass Rate")
|
| 139 |
parallel = gr.Number(label="Parallel (optional)", precision=0)
|
| 140 |
min_time_limit = gr.Number(label="Min Time Limit", value=1, precision=1)
|
| 141 |
+
max_as_limit = gr.Number(label="Max AS Limit", value=30*1024, precision=0)
|
| 142 |
|
| 143 |
with gr.Row():
|
| 144 |
+
max_data_limit = gr.Number(label="Max Data Limit", value=30*1024, precision=0)
|
| 145 |
+
max_stack_limit = gr.Number(label="Max Stack Limit", value=20, precision=0)
|
| 146 |
check_gt_only = gr.Checkbox(label="Check GT Only")
|
| 147 |
no_gt = gr.Checkbox(label="No GT")
|
| 148 |
|
| 149 |
command_output = gr.Textbox(label="Command", value=default_command, interactive=False)
|
| 150 |
+
with gr.Row():
|
| 151 |
+
submit_btn = gr.Button("Run Evaluation")
|
| 152 |
+
download_btn = gr.DownloadButton(label="Download Result", visible=False)
|
| 153 |
+
log_output = gr.Textbox(label="Execution Logs", lines=20)
|
| 154 |
|
| 155 |
+
# Hidden component to store the result file path
|
| 156 |
+
# result_file_path = gr.State("")
|
| 157 |
+
|
| 158 |
def update_command(*args):
|
| 159 |
return generate_command(*args)
|
| 160 |
|
|
|
|
| 167 |
for component in input_components:
|
| 168 |
component.change(update_command, inputs=input_components, outputs=command_output)
|
| 169 |
|
| 170 |
+
def start_evaluation(command, jsonl_file):
|
| 171 |
+
for log in stream_logs(command, jsonl_file):
|
| 172 |
+
yield log, gr.update(), gr.update()
|
| 173 |
+
|
| 174 |
+
result_file = find_result_file()
|
| 175 |
+
if result_file:
|
| 176 |
+
print(f"Result file: {result_file}")
|
| 177 |
+
urllib.request.urlretrieve(result_file, result_file)
|
| 178 |
+
return (gr.update(label="Evaluation completed. Result file found."),
|
| 179 |
+
gr.Button(visible=False),
|
| 180 |
+
gr.DownloadButton(label="Download Result", value=result_file))
|
| 181 |
+
else:
|
| 182 |
+
return (gr.update(label="Evaluation completed. No result file found."),
|
| 183 |
+
gr.Button("Run Evaluation"),
|
| 184 |
+
gr.DownloadButton(visible=False))
|
| 185 |
+
|
| 186 |
+
submit_btn.click(start_evaluation,
|
| 187 |
+
inputs=[command_output, jsonl_file],
|
| 188 |
+
outputs=[log_output, submit_btn, download_btn])
|
| 189 |
|
| 190 |
# def update_logs(session_log_file):
|
| 191 |
# return read_logs(session_log_file)
|