make interp timeout configurable from command line

This commit is contained in:
Damian Gryski
2022-08-04 15:26:44 -07:00
committed by Ron Evans
parent a4ee98e0e1
commit 0b77e92c50
7 changed files with 34 additions and 28 deletions
+2
View File
@@ -4,6 +4,7 @@ import (
"fmt"
"regexp"
"strings"
"time"
)
var (
@@ -29,6 +30,7 @@ type Options struct {
Scheduler string
Serial string
Work bool // -work flag to print temporary build directory
InterpTimeout time.Duration
PrintIR bool
DumpSSA bool
VerifyIR bool