diff --git a/src/tools/perfprof/common.h b/src/tools/perfprof/common.h index 3b0bac5..a9e3142 100644 --- a/src/tools/perfprof/common.h +++ b/src/tools/perfprof/common.h @@ -52,7 +52,7 @@ extern "C" { #define INFEASIBLE_SOLUTION_DEFAULT_COST_VAL ((double)1.0) /// Default cost value attributed to a crashed solver, or a solver /// which cannot produce any cost within the resource limits. -#define CRASHED_SOLVER_DEFAULT_COST_VAL ((double)10.0) +#define CRASHED_SOLVER_DEFAULT_COST_VAL ((double)2.0) #define CPTP_EXE "./build/Release/src/cptp" #define PYTHON3_PERF_SCRIPT "./src/tools/perfprof/plot.py" diff --git a/src/tools/perfprof/main.c b/src/tools/perfprof/main.c index 4719dba..a26c2ab 100644 --- a/src/tools/perfprof/main.c +++ b/src/tools/perfprof/main.c @@ -642,12 +642,12 @@ static void verify_batches_consistency(const PerfProfBatch *batches, // for (int32_t i = 0; i < num_batches; i++) { - if (strchar(batches[i].name, ' ')) { + if (strchr(batches[i].name, ' ')) { log_fatal("Avoid spaces inside batch names. Found batch name: `%s`", batches[i].name); abort(); - } else if (strchar(batches[i].name, '\\')) { - log_fatal("Avoid backslash `\` inside batch names. Found batch " + } else if (strchr(batches[i].name, '\\')) { + log_fatal("Avoid backslash `\\` inside batch names. Found batch " "name: `%s`", batches[i].name); abort();