blob: dcc881440e087c42a3aa8adb8100c75dc6b6054f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
//
// @LANG: crack
// @GENERATED: true
//
import crack.io cout;
import crack.lang Buffer;
int
ts;
int
te;
int act;
int token;
%%{
machine scanner;
# Warning: changing the patterns or the input string will affect the
# coverage of the scanner action types.
main := |*
'a' => {cout.format( "pat1\n" );
};
[ab]+ . 'c' => {cout.format( "pat2\n" );
};
any => {cout.format( "any\n" );
};
*|;
}%%
%% write data;
void m( String s )
{
byteptr data = s.buffer;
int p = 0;
int pe = s.size;
int cs;
String buffer;
int eof = pe;
%% write init;
%% write exec;
if ( cs >= scanner_first_final ) {
cout `ACCEPT\n`;
}
else {
cout `FAIL\n`;
}
}
void main()
{
m( "a" );
}
main();
|
