Here is a list of all variables with links to the files they belong to:

- m -

• mathsat_config : mathsat_conv.cpp
• max_array_ref_elements : dereference.cpp
• max_elementwise_frame_extent : frame_enforcer.cpp
• max_materialized_arange_elements : numpy_call_expr.cpp
• max_materialized_linspace_points : numpy_call_expr.cpp
• max_numpy_logical_chain_depth : numpy_call_expr.cpp
• max_numpy_sort_elements : numpy_reducer_shared.h
• max_quantifier_inline_depth : goto_sideeffects.cpp
• max_stored_output : io.cpp
• migrate_namespace_lookup : migrate.cpp, migrate.h
• mode_table : c2goto.cpp, globals.cpp, mode.h, python2goto.cpp
• msg_data : solidity_blockchain.c, solidity_misc.c
• msg_sender : solidity_blockchain.c, solidity_misc.c
• msg_sig : solidity_blockchain.c, solidity_misc.c
• msg_value : solidity_blockchain.c, solidity_misc.c
• multidim_propagation_bound : goto_symex_state.cpp
• mutex : cuda.h