| Tests that formatting processes '%' properly in case of missing formatters. |
| |
| String.sprintf(%T, 1) = "%T" |
| String.sprintf(10% x 20%, of the original) = "10% x 20%" |
| String.sprintf(%%, ) = "%" |
| String.sprintf(%%%, ) = "%%" |
| String.sprintf(%%, 1, 2, 3) = "%" |
| String.sprintf(%%d, 1) = "%d" |
| String.sprintf(%%d%, 1) = "%d%" |
| String.sprintf(%%%d%, 1) = "%1%" |
| String.sprintf(%%%d%%, 1) = "%1%" |
| String.sprintf(%, ) = "%" |
| String.sprintf(% %d, 1) = "% 1" |
| String.sprintf(%d % %s, 1, foo) = "1 % foo" |
| String.sprintf(%.2f, 0.12345) = "0.12" |
| String.sprintf(foo%555 bar, ) = "foo%555 bar" |
| |