diff --git a/nodist/leakchecking.txt b/nodist/leakchecking.txt deleted file mode 100644 index 6155e210c..000000000 --- a/nodist/leakchecking.txt +++ /dev/null @@ -1,4 +0,0 @@ -export GLIBCPP_FORCE_NEW=1 -compile with -DVL_LEAK_CHECKS -valgrind --tool=memcheck --leak-check=yes $VERILATOR_ROOT/verilator_bin_dbg -MMD --bin $VERILATOR_ROOT/verilator_bin_dbg --cc -f $VERILATOR_ROOT/test_c/../test_v/input.vc top.v --no-skip-identical 2>&1 | tee ~/d/aa -valgrind --tool=memcheck --leak-check=yes $VERILATOR_ROOT/verilator_bin_dbg -MMD --bin $VERILATOR_ROOT/verilator_bin_dbg --cc $VERILATOR_ROOT/test_regress/t/t_case_huge.v --no-skip-identical -I$VERILATOR_ROOT/test_regress/t 2>&1 | tee ~/d/aa