Update app.py
Browse files
app.py
CHANGED
@@ -137,11 +137,11 @@ with gr.Blocks() as demo:
|
|
137 |
save_pass_rate = gr.Checkbox(label="Save Pass Rate")
|
138 |
parallel = gr.Number(label="Parallel (optional)", precision=0)
|
139 |
min_time_limit = gr.Number(label="Min Time Limit", value=1, precision=1)
|
140 |
-
max_as_limit = gr.Number(label="Max AS Limit", value=
|
141 |
|
142 |
with gr.Row():
|
143 |
-
max_data_limit = gr.Number(label="Max Data Limit", value=
|
144 |
-
max_stack_limit = gr.Number(label="Max Stack Limit", value=
|
145 |
check_gt_only = gr.Checkbox(label="Check GT Only")
|
146 |
no_gt = gr.Checkbox(label="No GT")
|
147 |
|
|
|
137 |
save_pass_rate = gr.Checkbox(label="Save Pass Rate")
|
138 |
parallel = gr.Number(label="Parallel (optional)", precision=0)
|
139 |
min_time_limit = gr.Number(label="Min Time Limit", value=1, precision=1)
|
140 |
+
max_as_limit = gr.Number(label="Max AS Limit", value=25*1024, precision=0)
|
141 |
|
142 |
with gr.Row():
|
143 |
+
max_data_limit = gr.Number(label="Max Data Limit", value=25*1024, precision=0)
|
144 |
+
max_stack_limit = gr.Number(label="Max Stack Limit", value=10, precision=0)
|
145 |
check_gt_only = gr.Checkbox(label="Check GT Only")
|
146 |
no_gt = gr.Checkbox(label="No GT")
|
147 |
|