B2S > help
Sending 'help \012' to spawn id(4)
        Expect::print('Expect=GLOB(0x98195cc)','help \x{a}') called at ./expecttest.pl line 96
        main::expectsmv() called at ./expecttest.pl line 7
Starting EXPECT pattern matching...
        Expect::expect('Expect=GLOB(0x98195cc)',10000,'NuSMV > ','-re','NuSMV\s+>\s+') called at ./expecttest.pl line 99
        main::expectsmv() called at ./expecttest.pl line 7
spawn id(4): list of patterns:
  #1: -ex `NuSMV > '
  #2: -re `NuSMV\\s+>\s+'
 
 
spawn id(4): Does `'
match:
  pattern #1: -ex `NuSMV > '? No.
  pattern #2: -re `NuSMV\\s+>\s+'? No.
 
Waiting for new data (10000 seconds)...
 
spawn id(4): Does `NuSMV > '
match:
  pattern #1: -ex `NuSMV > '? YES!!
    Before match string: `'
    Match string: `NuSMV > '
    After match string: `'
    Matchlist: ()
Returning from expect successfully.
B2S >
Sending ' \012' to spawn id(4)
        Expect::print('Expect=GLOB(0x98195cc)',' \x{a}') called at ./expecttest.pl line 96
        main::expectsmv() called at ./expecttest.pl line 7
Starting EXPECT pattern matching...
        Expect::expect('Expect=GLOB(0x98195cc)',10000,'NuSMV > ','-re','NuSMV\s+>\s+') called at ./expecttest.pl line 99
        main::expectsmv() called at ./expecttest.pl line 7
spawn id(4): list of patterns:
  #1: -ex `NuSMV > '
  #2: -re `NuSMV\\s+>\s+'
 
 
spawn id(4): Does `'
match:
  pattern #1: -ex `NuSMV > '? No.
  pattern #2: -re `NuSMV\\s+>\s+'? No.
 
Waiting for new data (10000 seconds)...
 
spawn id(4): Does `NuSMV > '
match:
  pattern #1: -ex `NuSMV > '? YES!!
    Before match string: `'
    Match string: `NuSMV > '
    After match string: `'
    Matchlist: ()
Returning from expect successfully.
B2S >
Sending ' \012' to spawn id(4)
        Expect::print('Expect=GLOB(0x98195cc)',' \x{a}') called at ./expecttest.pl line 96
        main::expectsmv() called at ./expecttest.pl line 7
Starting EXPECT pattern matching...
        Expect::expect('Expect=GLOB(0x98195cc)',10000,'NuSMV > ','-re','NuSMV\s+>\s+') called at ./expecttest.pl line 99
        main::expectsmv() called at ./expecttest.pl line 7
spawn id(4): list of patterns:
  #1: -ex `NuSMV > '
  #2: -re `NuSMV\\s+>\s+'
 
 
spawn id(4): Does `'
match:
  pattern #1: -ex `NuSMV > '? No.
  pattern #2: -re `NuSMV\\s+>\s+'? No.
 
Waiting for new data (10000 seconds)...
 
spawn id(4): Does `...   \012gen_ltlspec_bmc_onepb     get_internal_status  go                        \012go_bmc                    goto_state    help                      \012history                   pick_state      print_bdd_stats           \012print_clusterinfo         print_current_state       print_fair_states         \012print_fair_transitions    print_iwls95options       print_reachable_states    \012print_usage               process_model            quit                      \012read_model                read_trace              reset                     \012set                       set_bdd_parameters        show_plugins              \012show_property             show_traces               show_vars                 \012simulate                  source                    time                      \012unalias                   unset                     usage                     \012which                     write_boolean_model       write_flat_model          \012write_order               \012'
match:
  pattern #1: -ex `NuSMV > '? No.
  pattern #2: -re `NuSMV\\s+>\s+'? No.
 
Waiting for new data (10000 seconds)...
 
spawn id(4): Does `...en_ltlspec_bmc_onepb     get_internal_status       go                    \012go_bmc                    goto_state                help                      \012history                   pick_state                print_bdd_stats           \012print_clusterinfo         print_current_state       print_fair_states         \012print_fair_transitions    print_iwls95options  print_reachable_states    \012print_usage               process_model    quit                      \012read_model                read_trace      reset                     \012set                       set_bdd_parameters        show_plugins              \012show_property             show_traces          show_vars                 \012simulate                  source            time                      \012unalias                   unset              usage                     \012which                     write_boolean_model       write_flat_model          \012write_order               \012NuSMV > '
match:
  pattern #1: -ex `NuSMV > '? YES!!
    Before match string: `...   \012gen_ltlspec_bmc_onepb     get_internal_status       go                        \012go_bmc                    goto_state           help                      \012history                   pick_state             print_bdd_stats           \012print_clusterinfo         print_current_state       print_fair_states         \012print_fair_transitions    print_iwls95options       print_reachable_states    \012print_usage               process_model             quit                      \012read_model                read_trace                reset                     \012set                       set_bdd_parameters        show_plugins              \012show_property             show_traces               show_vars                 \012simulate source                    time                      \012unalias   unset                     usage                     \012which     write_boolean_model       write_flat_model          \012write_order       \012'
    Match string: `NuSMV > '
    After match string: `'
    Matchlist: ()
Returning from expect successfully.
add_property              alias                     bmc_setup
bmc_simulate              build_boolean_model       build_flat_model
build_model               check_fsm                 check_invar
check_invar_bmc           check_ltlspec             check_ltlspec_bmc
check_ltlspec_bmc_onepb   check_property            check_spec
check_wff                 compute                   compute_reachable
dynamic_var_ordering      echo                      encode_variables
flatten_hierarchy         gen_invar_bmc             gen_ltlspec_bmc
gen_ltlspec_bmc_onepb     get_internal_status       go
go_bmc                    goto_state                help
history                   pick_state                print_bdd_stats
print_clusterinfo         print_current_state       print_fair_states
print_fair_transitions    print_iwls95options       print_reachable_states
print_usage               process_model             quit
read_model                read_trace                reset
set                       set_bdd_parameters        show_plugins
show_property             show_traces               show_vars
simulate                  source                    time
unalias                   unset                     usage
which                     write_boolean_model       write_flat_model
write_order
B2S >