projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix spacing with make tabbing
[satcheck.git]
/
common.cc
diff --git
a/common.cc
b/common.cc
index b445ce359596cbbaed1e539dfed25ee353d5a566..42271221f32cb7012e868200769836d2ff383997 100644
(file)
--- a/
common.cc
+++ b/
common.cc
@@
-43,11
+43,11
@@
void print_trace(void)
model_print("\nDumping stack trace (%d frames):\n", size);
model_print("\nDumping stack trace (%d frames):\n", size);
- for (i = 0;
i < size;
i++)
+ for (i = 0;
i < size;
i++)
model_print("\t%s\n", strings[i]);
free(strings);
model_print("\t%s\n", strings[i]);
free(strings);
-#endif
/* CONFIG_STACKTRACE */
+#endif/* CONFIG_STACKTRACE */
}
void assert_hook(void)
}
void assert_hook(void)
@@
-65,7
+65,7
@@
void model_assert(bool expr, const char *file, int line)
#ifndef CONFIG_DEBUG
#ifndef CONFIG_DEBUG
-static int fd_user_out; /**< @brief File descriptor from which to read user program output */
+static int fd_user_out;
/**< @brief File descriptor from which to read user program output */
/**
* @brief Setup output redirecting
/**
* @brief Setup output redirecting
@@
-147,7
+147,7
@@
void clear_program_output()
{
fflush(stdout);
char buf[200];
{
fflush(stdout);
char buf[200];
- while (read_to_buf(fd_user_out, buf, sizeof(buf)));
+ while (read_to_buf(fd_user_out, buf, sizeof(buf)))
;
}
/** @brief Print out any pending program output */
}
/** @brief Print out any pending program output */
@@
-178,4
+178,4
@@
void print_program_output()
model_print("---- END PROGRAM OUTPUT ----\n");
}
model_print("---- END PROGRAM OUTPUT ----\n");
}
-#endif
/* ! CONFIG_DEBUG */
+#endif/* ! CONFIG_DEBUG */