DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Use consistent naming conventions

Browse Source
This commit is contained in:
Joe Ranweiler 2018-02-21 19:32:15 -08:00
parent 49fd41f5e1
commit f39a89d059
No known key found for this signature in database
GPG Key ID: E0B6458CB03D167E
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/include/deepstate/DeepState.h
View File

@ -379,7 +379,7 @@ extern jmp_buf DeepState_ReturnToRun;
/* Checks a filename to see if might be a saved test case. /* Checks a filename to see if might be a saved test case.
* *
* Valid saved test cases have the suffix `.pass` or `.fail`. */ * Valid saved test cases have the suffix `.pass` or `.fail`. */
static bool IsTestCaseFile(const char *name) { static bool DeepState_IsTestCaseFile(const char *name) {
const char *suffix = strchr(name, '.'); const char *suffix = strchr(name, '.');
if (suffix == NULL) { if (suffix == NULL) {
return false; return false;
@ -403,7 +403,7 @@ static bool IsTestCaseFile(const char *name) {
/* Resets the global `DeepState_Input` buffer, then fills it with the /* Resets the global `DeepState_Input` buffer, then fills it with the
* data found in the file `path`. */ * data found in the file `path`. */
static void InitializeInputFromFile(const char *path) { static void DeepState_InitInputFromFile(const char *path) {
struct stat stat_buf; struct stat stat_buf;
FILE *fp = fopen(path, "r"); FILE *fp = fopen(path, "r");
@ -520,7 +520,7 @@ DeepState_RunSavedTestCase(struct DeepState_TestInfo *test, const char *dir,
} }
snprintf(path, path_len, "%s/%s", dir, name); snprintf(path, path_len, "%s/%s", dir, name);
InitializeInputFromFile(path); DeepState_InitInputFromFile(path);
free(path); free(path);
@ -570,7 +570,7 @@ static int DeepState_RunSavedCasesForTest(struct DeepState_TestInfo *test) {
/* Read generated test cases and run a test for each file found. */ /* Read generated test cases and run a test for each file found. */
while ((dp = readdir(dir_fd)) != NULL) { while ((dp = readdir(dir_fd)) != NULL) {
if (IsTestCaseFile(dp->d_name)) { if (DeepState_IsTestCaseFile(dp->d_name)) {
enum DeepState_TestRunResult result = enum DeepState_TestRunResult result =
DeepState_RunSavedTestCase(test, test_case_dir, dp->d_name); DeepState_RunSavedTestCase(test, test_case_dir, dp->d_name);

4
src/lib/DeepState.c
View File

@ -425,7 +425,7 @@ void DeepState_RunSavedTakeOverCases(jmp_buf env,
/* Read generated test cases and run a test for each file found. */ /* Read generated test cases and run a test for each file found. */
while ((dp = readdir(dir_fd)) != NULL) { while ((dp = readdir(dir_fd)) != NULL) {
if (IsTestCaseFile(dp->d_name)) { if (DeepState_IsTestCaseFile(dp->d_name)) {
DeepState_InitCurrentTestRun(test); DeepState_InitCurrentTestRun(test);
pid_t case_pid = fork(); pid_t case_pid = fork();
@ -439,7 +439,7 @@ void DeepState_RunSavedTakeOverCases(jmp_buf env,
DeepState_Abandon("Error allocating memory"); DeepState_Abandon("Error allocating memory");
} }
snprintf(path, path_len, "%s/%s", test_case_dir, dp->d_name); snprintf(path, path_len, "%s/%s", test_case_dir, dp->d_name);
InitializeInputFromFile(path); DeepState_InitInputFromFile(path);
free(path); free(path);
longjmp(env, 1); longjmp(env, 1);