export type PyCmdArgs = { [ option ] : boolean | number | string ; } ; export type PyteaLogLevel = 'none' | 'result-only' | 'reduced' | 'full' ; export interface PyteaOptions { configPath : string ; pyteaLibPath : string ; entryPath : string ; pythonCmdArgs : PyCmdArgs ; pythonSubcommand : string ; logLevel : PyteaLogLevel ; immediateConstraintCheck : boolean ; ignoreAssert : boolean ; extractIR : boolean ; variableRange : { [ prefix ] : null | number | [ number | null , number | null ] ; } ; variableSeed : { [ prefix ] : number | null ; } ; boxDataLoader : boolean ; timeout : number | undefined ; maxPath : number | undefined ; z3Port : number ; } export const defaultOptions = { configPath : '' , pyteaLibPath : '' , entryPath : '' , pythonCmdArgs : { } , pythonSubcommand : '' , logLevel : 'reduced' , immediateConstraintCheck : true , ignoreAssert : false , extractIR : false , variableRange : { } , variableSeed : { } , z3Port : 17851 , timeout : undefined , maxPath : undefined , boxDataLoader : true , } ;