|
Last change
on this file since 64c4b4d was
8a33777,
checked in by Michael Brooks <mlbrooks@…>, 8 months ago
|
|
Fix analysis error in string-input testing.
Add comments correlating .in file content with line of code that reads it.
This test's correctness expectation is bootstrapped from the actual behaviour of scanf.
A mistake in knowing "which character are we on at this point"
led to an inaccurate understanding of what scanf does on an edge case.
The test was showing that the CFA analogs behave the same as scanf.
But the test was not exercising the case that it suggested it was.
This issue is now fixed.
Old position, mistaken: case 14 begins on line ccccuuuucccc
Old position, corrected: cases 12/13 consume leading cccc; case 14 begins on uuuucccc
New positions: as commented in test .cfa
prior scanf understanding, mistaken: include skips unwanted characters before capturing
wanted characters, while exclude fails on unwanted characters
scanf understanding, corrected: include and exclude fail on unwanted characters
|
-
Property mode set to
100644
|
|
File size:
1.2 KB
|
| Line | |
|---|
| 1 | 123456 |
|---|
| 2 | 1234567 |
|---|
| 3 | 12345678 |
|---|
| 4 | 123456789 |
|---|
| 5 | abc |
|---|
| 6 | cccccb |
|---|
| 7 | xx |
|---|
| 8 | abcxxx |
|---|
| 9 | abcyyy |
|---|
| 10 | aaaaaaaaxxxxxxxxaabbccbbdddwwwbbbbbbbbwwwwwwwwaaaaaaaawwwwwwwwaaaaaaaawwwwwwww |
|---|
| 11 | uuuuu |
|---|
| 12 | get this line |
|---|
| 13 | @# this line 1)-{}% |
|---|
| 14 | "abc" |
|---|
| 15 | 'abc ' |
|---|
| 16 | { d d |
|---|
| 17 | |
|---|
| 18 | d } |
|---|
| 19 | X ZC44%Y |
|---|
| 20 | abc |
|---|
| 21 | cccccb |
|---|
| 22 | xx |
|---|
| 23 | abcxxx |
|---|
| 24 | abcyyy |
|---|
| 25 | aaaaaaaaxxxxxxxxaabbccbbdddwwwbbbbbbbbwwwwwwwwaaaaaaaawwwwwwwwaaaaaaaawwwwwwww |
|---|
| 26 | uuuuu |
|---|
| 27 | get this line |
|---|
| 28 | @# this line 1)-{}% |
|---|
| 29 | "abc" |
|---|
| 30 | 'abc ' |
|---|
| 31 | { d d |
|---|
| 32 | |
|---|
| 33 | d } |
|---|
| 34 | X ZC44%Y |
|---|
| 35 | ab |
|---|
| 36 | 0xff 017 15-15 |
|---|
| 37 | 0xff 017 15-15 |
|---|
| 38 | 0xff 017 15-15 |
|---|
| 39 | 0xff 017 15-15 |
|---|
| 40 | 0xff 017 15-15 |
|---|
| 41 | 0xff 017 15-15 |
|---|
| 42 | 0xff 017 15-15 |
|---|
| 43 | 0xff 017 15-15 |
|---|
| 44 | 0xff 017 15-15 |
|---|
| 45 | 0xff 017 15-15 |
|---|
| 46 | 3.5 3.456E+2 -0x1.2p-3 0X1.23p3 |
|---|
| 47 | 3.5 3.456E+2 -0x1.2p-3 0X1.23p3 |
|---|
| 48 | 3.5 3.456E+2 -0x1.2p-3 0X1.23p3 |
|---|
| 49 | 3.5 3.5 3.456E+23.456E+2 -0x1.2p-3 3.5 0X1.23p3 3.5 |
|---|
| 50 | 3.5 3.5 3.456E+23.456E+2 -0x1.2p-3 3.5 0X1.23p3 3.5 |
|---|
| 51 | 3.5 3.5 3.456E+23.456E+2 -0x1.2p-3 3.5 0X1.23p3 3.5 |
|---|
| 52 | 25 -25 42798 |
|---|
| 53 | 1402432282 1505850196993244515 |
|---|
| 54 | 394749758663249135511342 |
|---|
| 55 | 12935154696204706112391834394 |
|---|
| 56 | |
|---|
| 57 | 423859149128410414395372834994551 |
|---|
| 58 | |
|---|
| 59 | |
|---|
| 60 | 13889016598639747063234935497057631587 |
|---|
| 61 | 170141183460469231731687303715884105727 |
|---|
| 62 | 340282366920938463463374607431768211455 |
|---|
| 63 | -340282366920938463463374607431768211455 |
|---|
| 64 | 340282366920938463463374607431768211455999 |
|---|
| 65 | 1234567890123456789 -1234567890123456789 |
|---|
Note: See
TracBrowser
for help on using the repository browser.
