Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
s/formated/formatted/
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 28 Nov 2014 13:38:31 +0000 (14:38 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 1 Dec 2014 10:15:30 +0000 (11:15 +0100)
doc/doxygen/options.doc
src/xbt/config.c
teshsuite/xbt/log_large/log_large_test.tesh

index 6abd745..f8a018e 100644 (file)
@@ -306,7 +306,7 @@ void MC_assert(int prop);
 
 If you want to specify liveness properties (beware, that's
 experimental), you have to pass them on the command line, specifying
 
 If you want to specify liveness properties (beware, that's
 experimental), you have to pass them on the command line, specifying
-the name of the file containing the property, as formated by the
+the name of the file containing the property, as formatted by the
 ltl2ba program.
 
 \verbatim
 ltl2ba program.
 
 \verbatim
index 0c23d46..69389e7 100644 (file)
@@ -667,7 +667,7 @@ void xbt_cfg_set_parse(xbt_cfg_t cfg, const char *options) {
     val = strchr(name, ':');
     if (!val) {
       /* don't free(optionlist_cpy) here, 'name' points inside it */
     val = strchr(name, ':');
     if (!val) {
       /* don't free(optionlist_cpy) here, 'name' points inside it */
-      xbt_die("Option '%s' badly formated. Should be of the form 'name:value'",
+      xbt_die("Option '%s' badly formatted. Should be of the form 'name:value'",
               name);
     }
     *(val++) = '\0';
               name);
     }
     *(val++) = '\0';
index 32a8cf9..a53218e 100644 (file)
@@ -115,7 +115,7 @@ $ $SG_EXENV_TEST ${bindir:=.}/log_large_test "--log=root.fmt:%m%n"
 >
 > Done (strlen>10210)
 
 >
 > Done (strlen>10210)
 
-p Check that the dynamic version of the log formated layout works
+p Check that the dynamic version of the log formatted layout works
 $ $SG_EXENV_TEST ${bindir:=.}/log_large_test "--log=root.fmt:%m%n"
 > This is a very large message:
 > 0
 $ $SG_EXENV_TEST ${bindir:=.}/log_large_test "--log=root.fmt:%m%n"
 > This is a very large message:
 > 0