Spaces:
Running
Running
Commit
·
a238154
1
Parent(s):
f2fa40a
Fix display
Browse files
main.py
CHANGED
|
@@ -63,13 +63,9 @@ def create_demo():
|
|
| 63 |
run_btn = gr.Button("Run Type Inference", variant="primary")
|
| 64 |
|
| 65 |
with gr.Column():
|
| 66 |
-
|
| 67 |
-
|
| 68 |
-
|
| 69 |
-
with gr.Tab("Generated Header"):
|
| 70 |
-
header_output = gr.Code(label="Generated Header (_gen.h)", language="c", lines=10)
|
| 71 |
-
with gr.Tab("Fixed C File"):
|
| 72 |
-
fixed_output = gr.Code(label="Fixed C File (_fixed.c)", language="c", lines=10)
|
| 73 |
|
| 74 |
run_btn.click(
|
| 75 |
fn=run_psychec,
|
|
|
|
| 63 |
run_btn = gr.Button("Run Type Inference", variant="primary")
|
| 64 |
|
| 65 |
with gr.Column():
|
| 66 |
+
log_output = gr.Textbox(label="Output Log", lines=10)
|
| 67 |
+
header_output = gr.Code(label="Generated Header (_gen.h)", language="c", lines=10)
|
| 68 |
+
fixed_output = gr.Code(label="Fixed C File (_fixed.c)", language="c", lines=10)
|
|
|
|
|
|
|
|
|
|
|
|
|
| 69 |
|
| 70 |
run_btn.click(
|
| 71 |
fn=run_psychec,
|