Fixed some stuff from previous commit

dparo · Jun 16, 2022 · 1580e15 · 1580e15
1 parent 2dbf112
commit 1580e15
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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();