site_cfg.yaml

#files: []
##   $HOME or ${HOME} is replaced by the home dir of the current user
#
#runtime: false
#
#main: false
#
#tools: []
#
#runid: ${YEAR}${MONTH}${DAY}_${HOUR}${MIN}
##   vars: YEAR, MONTH, DAY, HOUR, MIN, SEC, ZONE,
##   HOME, PID, SBVERSION, SBHOME
#
#overwrite: false
#
#processes: 1
#
#timeout: 0 # [s] 0/null = no timeout enforced, tool default applies
#
#cpu-quota: 0 # 0/null = no quota
#
#mem-limit: 0 # "512m" or "4g"  0/null = no quota
#
#results: results/${TOOL}/${RUNID}/${FILENAME}
##   vars: all vars from "runid" above, as well as RUNID,
##   TOOL, MODE (solidity, bytecode, runtime), ABSDIR, RELDIR,
##   FILENAME, FILEBASE, FILEEXT (FILENAME = FILEBASE + "." + FILEEXT)
#
#log: results/logs/${RUNID}.log
##   vars: all vars from "runid" above, as well as RUNID
#
#json: false
#
#sarif: false
#
#quiet: false