diff options
Diffstat (limited to 'test/trans.d/case/goto1_crack.rl')
-rw-r--r-- | test/trans.d/case/goto1_crack.rl | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/test/trans.d/case/goto1_crack.rl b/test/trans.d/case/goto1_crack.rl new file mode 100644 index 00000000..6a124918 --- /dev/null +++ b/test/trans.d/case/goto1_crack.rl @@ -0,0 +1,60 @@ +// +// @LANG: crack +// @GENERATED: true +// + +import crack.io cout; +import crack.lang Buffer; + +int target; + +%%{ + machine goto1; + + unused := 'unused'; + + one := 'one' @{cout.format( "one\n" ); +target = fentry(main); +fgoto *target;}; + + two := 'two' @{cout.format( "two\n" ); +target = fentry(main); +fgoto *target;}; + + main := + '1' @{target = fentry(one); +fgoto *target;} + | '2' @{target = fentry(two); +fgoto *target;} + | '\n'; +}%% + + + +%% write data; + +void m( String s ) +{ + byteptr data = s.buffer; + int p = 0; + int pe = s.size; + int cs; + String buffer; + + %% write init; + %% write exec; + + if ( cs >= goto1_first_final ) { + cout `ACCEPT\n`; + } + else { + cout `FAIL\n`; + } +} + +void main() +{ + m( "1one2two1one\n" ); +} + +main(); |