libsel4test: Mark some char * parameters as const.
diff --git a/libsel4test/include/sel4test/prototype.h b/libsel4test/include/sel4test/prototype.h
index 06a7726..a3438bc 100644
--- a/libsel4test/include/sel4test/prototype.h
+++ b/libsel4test/include/sel4test/prototype.h
@@ -23,7 +23,7 @@
*
* @name name of test suite
*/
-void sel4test_start_suite(char *name);
+void sel4test_start_suite(const char *name);
/**
@@ -44,14 +44,14 @@
* Can report multiple errors.
* This will fail a test case.
*/
-void _sel4test_report_error(char *error, char *file, int line);
+void _sel4test_report_error(const char *error, const char *file, int line);
/*
* Mark the current test as failed. Should
* only be called once per test case
*/
-void _sel4test_failure(char *failure, char *file, int line);
+void _sel4test_failure(const char *failure, const char *file, int line);
/*
* End the current test case
diff --git a/libsel4test/include/sel4test/test.h b/libsel4test/include/sel4test/test.h
index a7a9125..f1644f1 100644
--- a/libsel4test/include/sel4test/test.h
+++ b/libsel4test/include/sel4test/test.h
@@ -76,7 +76,7 @@
}
/* Fails a test case, stop running the rest of the test, but keep running other tests. */
-static inline int _test_fail(char *condition, char *file, int line)
+static inline int _test_fail(const char *condition, const char *file, int line)
{
_sel4test_failure(condition, file, line);
#ifdef CONFIG_TESTPRINTER_HALT_ON_TEST_FAILURE
@@ -92,7 +92,7 @@
}
/* Fails a test case, keep running the rest of the test, then keep running other tests. */
-static inline void _test_error(char *condition, char *file, int line)
+static inline void _test_error(const char *condition, const char *file, int line)
{
_sel4test_report_error(condition, file, line);
@@ -109,7 +109,7 @@
}
/* Fails a test case, stop everything. */
-static inline void _test_abort(char *condition, char *file, int line)
+static inline void _test_abort(const char *condition, const char *file, int line)
{
_sel4test_failure(condition, file, line);
printf("Halting on fatal assertion...\n");
@@ -224,7 +224,7 @@
* @param run_test function that runs the tests.
*
*/
-void sel4test_run_tests(char *name, int (*run_test)(struct testcase *t));
+void sel4test_run_tests(const char *name, int (*run_test)(struct testcase *t));
/*
* Get a testcase.
@@ -232,7 +232,7 @@
* @param name the name of the test to retrieve.
* @return the test corresponding to name, NULL if test not found.
*/
-testcase_t* sel4test_get_test(char *name);
+testcase_t* sel4test_get_test(const char *name);
bool sel4test_get_result(void);
diff --git a/libsel4test/src/test.c b/libsel4test/src/test.c
index 0f1b1ab..d5b3c5a 100644
--- a/libsel4test/src/test.c
+++ b/libsel4test/src/test.c
@@ -54,7 +54,7 @@
void
-sel4test_start_suite(char *name) {
+sel4test_start_suite(const char *name) {
#ifdef CONFIG_PRINT_XML
buf_index = 0;
@@ -101,7 +101,7 @@
}
void
-_sel4test_report_error(char *error, char *file, int line) {
+_sel4test_report_error(const char *error, const char *file, int line) {
#ifdef CONFIG_PRINT_XML
printf("\t\t<error>%s at line %d of file %s</error>\n", error, line, file);
#else
@@ -112,7 +112,7 @@
void
-_sel4test_failure(char *failure, char *file, int line) {
+_sel4test_failure(const char *failure, const char *file, int line) {
#ifdef CONFIG_PRINT_XML
printf("\t\t<failure type=\"failure\">%s at line %d of file %s</failure>\n", failure, line, file);
#else
@@ -160,7 +160,7 @@
static USED SECTION("_test_case") struct {} dummy;
testcase_t*
-sel4test_get_test(char *name)
+sel4test_get_test(const char *name)
{
for (testcase_t *t = __start__test_case; t < __stop__test_case; t++) {
@@ -174,7 +174,7 @@
void
-sel4test_run_tests(char *name, int (*run_test)(struct testcase *t)) {
+sel4test_run_tests(const char *name, int (*run_test)(struct testcase *t)) {
/* Count how many tests actually exist and allocate space for them */
int max_tests = (int)(__stop__test_case - __start__test_case);
