vera-functions

vera-functions is a variable defined in `vera-mode.el'.
Its value is

("alloc" "call_func" "call_task" "cast_assign" "close_conn" "cm_coverage" "cm_get_coverage" "cm_get_limit" "coverage_backup_database_file" "coverage_save_database" "delay" "error" "error_mode" "error_wait" "exit" "fclose" "feof" "ferror" "fflush" "flag" "fopen" "fprintf" "freadb" "freadb" "freadh" "freadstr" "get_bind" "get_bind_id" "get_conn_err" "get_cycle" "get_env" "get_memsize" "get_plus_arg" "get_systime" "get_time" "get_time_unit" "getstate" "initstate" "lock_file" "mailbox_get" "mailbox_put" "mailbox_receive" "mailbox_send" "make_client" "make_server" "os_command" "printf" "psprintf" "query" "query_str" "query_x" "rand48" "random" "region_enter" "region_exit" "rewind" "semaphore_get" "semaphore_put" "setstate" "signal_connect" "simwave_plot" "srandom" "sprintf" "sscanf" "stop" "suspend_thread" "sync" "timeout" "trace" "trigger" "unit_delay" "unlock_file" "up_connections" "urand48" "urandom" "urandom_range" "vera_bit_reverse" "vera_crc" "vera_pack" "vera_pack_big_endian" "vera_plot" "vera_report_profile" "vera_unpack" "vera_unpack_big_endian" "vsv_call_func" "vsv_call_task" "vsv_close_conn" "vsv_get_conn_err" "vsv_make_client" "vsv_make_server" "vsv_up_connections" "vsv_wait_for_done" "vsv_wait_for_input" "wait_child" "wait_var" "Configure" "DisableTrigger" "DoAction" "EnableCount" "EnableTrigger" "Event" "GetAssert" "GetCount" "GetFirstAssert" "GetName" "GetNextAssert" "Wait" "atobin" "atohex" "atoi" "atooct" "backref" "bittostr" "capacity" "compare" "constraint_mode" "delete" "empty" "find" "find_index" "first" "first_index" "get_at_least" "get_auto_bin" "get_cov_weight" "get_coverage_goal" "get_cross_bin_max" "get_status" "get_status_msg" "getc" "hash" "icompare" "insert" "inst_get_at_least" "inst_get_auto_bin_max" "inst_get_collect" "inst_get_cov_weight" "inst_get_coverage_goal" "inst_getcross_bin_max" "inst_query" "inst_set_at_least" "inst_set_auto_bin_max" "inst_set_bin_activation" "inst_set_collect" "inst_set_cov_weight" "inst_set_coverage_goal" "inst_set_cross_bin_max" "itoa" "last" "last_index" "len" "load" "match" "max" "max_index" "min" "min_index" "object_compare" "object_copy" "object_print" "pack" "pick_index" "pop_back" "pop_front" "post_pack" "post_randomize" "post_unpack" "postmatch" "pre_pack" "pre_randomize" "prematch" "push_back" "push_front" "putc" "query" "query_str" "rand_mode" "randomize" "reserve" "reverse" "rsort" "search" "set_at_least" "set_auto_bin_max" "set_bin_activation" "set_cov_weight" "set_coverage_goal" "set_cross_bin_max" "set_name" "size" "sort" "substr" "sum" "thismatch" "tolower" "toupper" "unique_index" "unpack" "new" "object_compare" "post_boundary" "post_pack" "post_randomize" "post_unpack" "pre-randomize" "pre_boundary" "pre_pack" "pre_unpack")

• This variable may be risky if used as a file-local variable.

Documentation:
List of Vera predefined system functions, tasks and class methods.