]>
Commit | Line | Data |
---|---|---|
cf278024 JR |
1 | --- NuSMV-2.5.4/nusmv/src/prop/Prop.c~ 2011-10-21 17:41:39.000000000 +0200 |
2 | +++ NuSMV-2.5.4/nusmv/src/prop/Prop.c 2012-11-14 14:47:55.753785880 +0100 | |
3 | @@ -1634,7 +1634,7 @@ | |
4 | } | |
5 | ||
6 | indent(file); | |
7 | - fprintf(file, prop); | |
8 | + fputs(prop, file); | |
9 | ||
10 | if (len > 40) { | |
11 | fprintf(file, " [...]"); | |
12 | --- NuSMV-2.5.4/nusmv/src/cinit/cinitData.c~ 2011-10-12 11:04:37.000000000 +0200 | |
13 | +++ NuSMV-2.5.4/nusmv/src/cinit/cinitData.c 2012-11-14 14:50:21.413780736 +0100 | |
14 | @@ -439,7 +439,7 @@ | |
15 | else { | |
16 | const char* preps_fmt = "Warning: there are no available preprocessors"; | |
17 | preps_tmp = ALLOC(char, strlen(preps_fmt) + 1); | |
18 | - sprintf(preps_tmp, preps_fmt); | |
19 | + sprintf(preps_tmp, "%s", preps_fmt); | |
20 | } | |
21 | ||
22 | tmp = ALLOC(char, strlen(fmt) + strlen(preps_tmp) + 1); | |
23 | --- NuSMV-2.5.4/nusmv/src/hrc/dumpers/HrcDumper_private.h~ 2011-10-12 11:04:37.000000000 +0200 | |
24 | +++ NuSMV-2.5.4/nusmv/src/hrc/dumpers/HrcDumper_private.h 2012-11-14 14:57:59.607097908 +0100 | |
25 | @@ -106,13 +106,13 @@ | |
26 | #define _HRC_DUMP_STR(x) \ | |
27 | { \ | |
28 | hrc_dumper_dump_indent(self); \ | |
29 | - fprintf(self->fout, x); \ | |
30 | + fputs(x, self->fout); \ | |
31 | } | |
32 | ||
33 | #define _HRC_DUMP_STR_NL(x) \ | |
34 | { \ | |
35 | hrc_dumper_dump_indent(self); \ | |
36 | - fprintf(self->fout, x); \ | |
37 | + fputs(x, self->fout); \ | |
38 | hrc_dumper_nl(self); \ | |
39 | } | |
40 | ||
41 | --- NuSMV-2.5.4/nusmv/src/hrc/dumpers/HrcDumperXml_private.h~ 2011-10-12 11:04:37.000000000 +0200 | |
42 | +++ NuSMV-2.5.4/nusmv/src/hrc/dumpers/HrcDumperXml_private.h 2012-11-14 14:59:17.827095149 +0100 | |
43 | @@ -92,7 +92,7 @@ | |
44 | #define _HRC_DUMP_STR_NL(x) \ | |
45 | { \ | |
46 | hrc_dumper_dump_indent(self); \ | |
47 | - fprintf(self->fout, x); \ | |
48 | + fputs(x, self->fout); \ | |
49 | if (self->use_indentation) { \ | |
50 | hrc_dumper_nl(self); \ | |
51 | } \ | |
52 | --- NuSMV-2.5.4/nusmv/src/addons_core/compass/sigref/sigrefWrite.c~ 2011-10-12 11:04:36.000000000 +0200 | |
53 | +++ NuSMV-2.5.4/nusmv/src/addons_core/compass/sigref/sigrefWrite.c 2012-11-14 15:00:08.280426703 +0100 | |
54 | @@ -509,7 +509,7 @@ | |
55 | ||
56 | DdManager* dd = BddEnc_get_dd_manager(enc); | |
57 | ||
58 | - fprintf(file, SIGREF_HEADER); | |
59 | + fprintf(file, "%s", SIGREF_HEADER); | |
60 | fprintf(file, "\n<%s ", MODEL_TAG); | |
61 | fprintf(file, MODEL_FM, MODEL_TYPE); | |
62 | fprintf(file, ">\n"); |