Context Navigation

manipulatorsInput.x86.txt @ 8a33777

Last change on this file since 8a33777 was 8a33777, checked in by Michael Brooks <mlbrooks@…>, 5 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: 970 bytes

Line
1	pre1 "123456", canary ok
2	pre2 "1234567", canary ok
3	pre3a "1234567", exception occurred, canary ok
4	pre3b "8", canary ok
5	pre4a "1234567", exception occurred, canary ok
6	pre4b "89", canary ok
7	1 yyyyyyyyyyyyyyyyyyyy
8	2 abcxxx
9	3 abcxxx
10	4 aaaaaaaa
11	5 aaaaaaaa
12	6 aabbccbb
13	7 dddwww
14	8 dddwww
15	9 dddwww
16	10 aaaaaaaa
17	11 wwwwwwww
18	12 wwwwwwww
19	13 wwwwwwww
20	14 rc=0, q
21	15 rc=0, q
22	16 get this line
23	17 @# this line 1)-{}
24	18 abc
25	19 abc
26	20 d d
27
28	d
29	21 ZC44%
30	1 yyyyyyyyyyyyyyyyyyyy
31	2 abcxxx
32	3 abcxxx
33	4 aaaaaaaa
34	5
35	6 aabbccbb
36	7 dddwww
37	8
38	9
39	10 aaaaaaaa
40	11 wwwwwwww
41	12
42	13
43	14
44	15
45	16 get this line
46	17 @# this line 1)-{}
47	18 abc
48	19 abc
49	20 d d
50
51	d
52	21 ZC44%
53	a
54	a
55	-1
56	15
57	15
58	15
59	255
60	15
61	15
62	15
63	255
64	15
65	15
66	15
67	255
68	15
69	15
70	15
71	255
72	15
73	15
74	15
75	255
76	15
77	15
78	15
79	255
80	15
81	15
82	15
83	255
84	15
85	15
86	15
87	255
88	15
89	15
90	15
91	255
92	15
93	15
94	15
95	3.5
96	345.6
97	345.6
98	345.6
99	3.5
100	345.6
101	345.6
102	345.6
103	3.5
104	345.6
105	345.6
106	345.6
107	3.5+3.5i
108	345.6+345.6i
109	345.6+345.6i
110	345.6+345.6i
111	3.5+3.5i
112	345.6+345.6i
113	345.6+345.6i
114	345.6+345.6i
115	3.5+3.5i
116	345.6+345.6i
117	345.6+345.6i
118	345.6+345.6i

Note: See TracBrowser for help on using the repository browser.

Context Navigation

source: tests/io/.expect/manipulatorsInput.x86.txt @ 8a33777

Download in other formats: