Miodrag Milanovic bbf65702a1 Fix valgrind tests when using verific

2022-03-30 17:25:53 +02:00

..

.gitignore

…

aes_kexp128.v

…

always01.v

…

always02.v

…

always03.v

…

arraycells.v

…

arrays01.v

…

arrays02.sv

…

asgn_binop.sv

…

attrib01_module.v

…

attrib02_port_decl.v

…

attrib03_parameter.v

…

attrib04_net_var.v

…

attrib05_port_conn.v.DISABLED

…

attrib06_operator_suffix.v

…

attrib07_func_call.v.DISABLED

…

attrib08_mod_inst.v

…

attrib09_case.v

…

carryadd.v

…

case_expr_const.v

…

case_expr_extend.sv

…

case_expr_non_const.v

…

case_expr_query.sv

…

case_large.v

…

const_branch_finish.v

…

const_fold_func.v

…

const_func_shadow.v

…

constmuldivmod.v

…

constpower.v

…

defvalue.sv

…

dff_different_styles.v

…

dff_init.v

…

dynslice.v

…

fiedler-cooley.v

…

forgen01.v

…

forgen02.v

…

forloops.v

…

fsm.v

…

func_block.v

…

func_recurse.v

…

func_width_scope.v

…

genblk_collide.v

…

genblk_dive.v

…

genblk_order.v

…

genblk_port_shadow.v

…

generate.v

…

graphtest.v

…

hierarchy.v

…

hierdefparam.v

…

i2c_master_tests.v

…

ifdef_1.v

…

ifdef_2.v

…

implicit_ports.sv

…

lesser_size_cast.sv

…

local_loop_var.sv

…

localparam_attr.v

…

loop_prefix_case.v

…

loop_var_shadow.v

…

loops.v

…

macro_arg_spaces.sv

…

macro_arg_surrounding_spaces.v

…

macros.v

…

matching_end_labels.sv

…

mem2reg_bounds_tern.v

…

mem2reg.v

…

mem_arst.v

…

memory.v

…

memwr_port_connection.sv

…

module_scope_case.v

…

module_scope.v

…

multiplier.v

…

muxtree.v

…

named_genblk.v

…

nested_genblk_resolve.v

…

omsp_dbg_uart.v

…

operators.v

…

param_attr.v

…

paramods.v

…

partsel.v

…

process.v

…

realexpr.v

…

repwhile.v

…

retime.v

…

rotate.v

…

run-test.sh

…

scopes.v

…

signed_full_slice.v

…

signedexpr.v

…

sincos.v

…

specify.v

…

string_format.v

…

subbytes.v

…

task_func.v

…

undef_eqx_nex.v

…

unnamed_block_decl.sv

…

usb_phy_tests.v

…

values.v

…

verilog_primitives.v

…

vloghammer.v

…

wandwor.v

…

wreduce.v

…

xfirrtl

…