File tree 1 file changed +6
-9
lines changed 1 file changed +6
-9
lines changed Original file line number Diff line number Diff line change 1
- \ingroup module_hidden
2
- \page other_documentation Other Documentation
3
-
4
- \section satabs SATABS
1
+ \page satabs SATABS
5
2
6
3
We document two programs that try to achieve formal guarantees of the
7
4
absence of specific problems: CBMC and SATABS. The algorithms
@@ -607,13 +604,13 @@ and the function `getConfig` in `lib_aeon.c`:
607
604
int getConfig(char settings[MAX_SETTINGS][MAX_LEN])
608
605
{
609
606
char home[MAX_LEN];
610
- FILE *fp; /* .rc file handler */
611
- int numSet = 0; /* number of settings */
607
+ FILE *fp; /* .rc file handler */
608
+ int numSet = 0; /* number of settings */
612
609
613
- strcpy(home, getenv("HOME")); /* get home path */
614
- strcat(home, "/.aeonrc"); /* full path to rc file */
610
+ strcpy(home, getenv("HOME")); /* get home path */
611
+ strcat(home, "/.aeonrc"); /* full path to rc file */
615
612
fp = fopen(home, "r");
616
- if (fp == NULL) return -1; /* no cfg - ERROR */
613
+ if (fp == NULL) return -1; /* no cfg - ERROR */
617
614
while (fgets(settings[numSet], MAX_LEN-1, fp)
618
615
&& (numSet < MAX_SETTINGS)) numSet++;
619
616
fclose(fp);
You can’t perform that action at this time.
0 commit comments