in SAW/proof/common/utility.go [29:42]
func ParseSelectCheckRange(env_var_name string, default_val int) int {
env_var_val := os.Getenv(env_var_name)
if len(env_var_val) == 0 {
return default_val
}
ret, err := strconv.Atoi(env_var_val)
if err != nil {
log.Fatal("Failed to convert the value(%s) of env var |%s| to integer.", env_var_val, env_var_name, err)
}
if ret < 0 {
log.Fatal("The value(%s) of env var |%s| cannot be negative", env_var_val, env_var_name)
}
return ret
}