diff options
Diffstat (limited to 'test/rlhc.d/case/stateact1_crack.crk-K-T1--var-backend.exp')
| -rw-r--r-- | test/rlhc.d/case/stateact1_crack.crk-K-T1--var-backend.exp | 288 |
1 files changed, 288 insertions, 0 deletions
diff --git a/test/rlhc.d/case/stateact1_crack.crk-K-T1--var-backend.exp b/test/rlhc.d/case/stateact1_crack.crk-K-T1--var-backend.exp new file mode 100644 index 00000000..0438d9eb --- /dev/null +++ b/test/rlhc.d/case/stateact1_crack.crk-K-T1--var-backend.exp @@ -0,0 +1,288 @@ +import crack.io cout; +import crack.lang Buffer; + + + + + + + + +const array[int16 ] _state_act_key_offsets = [ 0, 0, 1, 2, 3, 4, 0 , ]; +const array[byte ] _state_act_trans_keys = [ 105, 10, 104, 104, 104, 0, ]; +const array[int16 ] _state_act_single_lengths = [ 0, 1, 1, 1, 1, 1, 0 , ]; +const array[int16 ] _state_act_range_lengths = [ 0, 0, 0, 0, 0, 0, 0 , ]; +const array[int16 ] _state_act_index_offsets = [ 0, 0, 2, 4, 6, 8, 0 , ]; +const array[int16 ] _state_act_trans_cond_spaces = [ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0 , ]; +const array[int16 ] _state_act_trans_offsets = [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 0 , ]; +const array[int16 ] _state_act_trans_lengths = [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0 , ]; +const array[int16 ] _state_act_cond_keys = [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 , ]; +const array[int16 ] _state_act_cond_targs = [ 2, 0, 5, 0, 1, 0, 1, 0, 1, 0, 0 , ]; +const array[int16 ] _state_act_cond_actions = [ 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0 , ]; +const array[int16 ] _state_act_to_state_actions = [ 0, 0, 1, 4, 6, 4, 0 , ]; +const array[int16 ] _state_act_from_state_actions = [ 0, 0, 2, 5, 7, 5, 0 , ]; +const array[int16 ] _state_act_nfa_targs = [ 0, 0 , ]; +const array[int16 ] _state_act_nfa_offsets = [ 0, 0, 0, 0, 0, 0, 0 , ]; +const array[int16 ] _state_act_nfa_push_actions = [ 0, 0 , ]; +const array[int16 ] _state_act_nfa_pop_trans = [ 0, 0 , ]; +const int state_act_start = 4; +const int state_act_first_final = 4; +const int state_act_error = 0; +const int state_act_en_main = 4; +const int state_act_en_main_line_again = 3; +void m( String s ) +{ + byteptr data = s.buffer; + int p = 0; + int pe = s.size; + int cs; + String buffer; + + if ( 1 ) { + cs = int ( state_act_start ); + + } + if ( 1 ) { + int _klen; + int _keys = 0; + int _ckeys = 0; + int _cpc; + uint32 _trans; + uint32 _cond = 0; + uint32 _have = 0; + uint32 _cont = 1; + while ( _cont == 1 ) + { + if ( cs == 0 ) + _cont = 0; + + _have = 0; + if ( p == pe ) + { + if ( _have == 0 ) + _cont = 0; + + + } + + if ( _cont == 1 ) + { + if ( _have == 0 ) + { + if ( _state_act_from_state_actions[cs] == 5 ) { + if ( 1 ) { + cout.format( "b2\n" ); + + } + + } + else if ( _state_act_from_state_actions[cs] == 2 ) { + if ( 1 ) { + cout.format( "c2\n" ); + + } + + } + else if ( _state_act_from_state_actions[cs] == 7 ) { + if ( 1 ) { + cout.format( "a2\n" ); + + } + if ( 1 ) { + cout.format( "b2\n" ); + + } + + } + ; + _keys = _state_act_key_offsets[cs]; + _trans = uint32 ( _state_act_index_offsets[cs] ); + _have = 0; + _klen = int ( _state_act_single_lengths[cs] ); + if ( _klen > 0 ) + { + int _lower = 0; + int _mid = 0; + int _upper = 0; + _lower = _keys; + _upper = _keys + _klen - 1; + while ( _upper >= _lower && _have == 0 ) + { + _mid = _lower + ((_upper-_lower)>> 1); + if ( (data[p ])< _state_act_trans_keys[_mid ] ) + _upper = _mid - 1; + + else if ( (data[p ])> _state_act_trans_keys[_mid ] ) + _lower = _mid + 1; + + else + { + _trans += uint32 ( (_mid - _keys) ); + _have = 1; + + } + + + } + + if ( _have == 0 ) + { + _keys += _klen; + _trans += uint32 ( _klen ); + + } + + + } + + if ( _have == 0 ) + { + _klen = int ( _state_act_range_lengths[cs] ); + if ( _klen > 0 ) + { + int _lower = 0; + int _mid = 0; + int _upper = 0; + _lower = _keys; + _upper = _keys + (_klen<<1)- 2; + while ( _have == 0 && _lower <= _upper ) + { + _mid = _lower + (((_upper-_lower)>> 1)& ~1); + if ( (data[p ])< _state_act_trans_keys[_mid ] ) + _upper = _mid - 2; + + else if ( (data[p ])> _state_act_trans_keys[_mid + 1 ] ) + _lower = _mid + 2; + + else + { + _trans += uint32 ( ((_mid - _keys)>>1) ); + _have = 1; + + } + + + } + + if ( _have == 0 ) + _trans += uint32 ( _klen ); + + + } + + + } + + _ckeys = _state_act_trans_offsets[_trans]; + _klen = int ( _state_act_trans_lengths[_trans] ); + _cond = uint32 ( _state_act_trans_offsets[_trans] ); + _have = 0; + _cpc = 0; + if ( 1 ) { + int _lower = 0; + int _mid = 0; + int _upper = 0; + _lower = _ckeys; + _upper = _ckeys + _klen - 1; + while ( _have == 0 && _lower <= _upper ) + { + _mid = _lower + ((_upper-_lower)>> 1); + if ( _cpc < int ( _state_act_cond_keys[_mid ] ) ) + _upper = _mid - 1; + + else if ( _cpc > int ( _state_act_cond_keys[_mid ] ) ) + _lower = _mid + 1; + + else + { + _cond += uint32 ( (_mid - _ckeys) ); + _have = 1; + + } + + + } + + if ( _have == 0 ) + { + cs = 0; + _cont = 0; + + } + + + } + + } + + if ( _cont == 1 ) + { + cs = int ( _state_act_cond_targs[_cond] ); + if ( _state_act_cond_actions[_cond] == 3 ) { + if ( 1 ) { + if ( 1 ) { + cs = 3; + + } + + } + + } + ; + if ( _state_act_to_state_actions[cs] == 4 ) { + if ( 1 ) { + cout.format( "b1\n" ); + + } + + } + else if ( _state_act_to_state_actions[cs] == 1 ) { + if ( 1 ) { + cout.format( "c1\n" ); + + } + + } + else if ( _state_act_to_state_actions[cs] == 6 ) { + if ( 1 ) { + cout.format( "a1\n" ); + + } + if ( 1 ) { + cout.format( "b1\n" ); + + } + + } + ; + if ( cs == 0 ) + _cont = 0; + + if ( _cont == 1 ) + p += 1; + + + } + + + } + + + } + + + } + if ( cs >= state_act_first_final ) { + cout `ACCEPT\n`; + } + else { + cout `FAIL\n`; + } +} + +void main() +{ + m( "hi\nhi\n" ); +} + +main(); |