← Back to branch summary

~ubuntu-branches/ubuntu/wily/verilator/wily-proposed

~ubuntu-branches/ubuntu/wily/verilator/wily-proposed

« back to all changes in this revision

Viewing changes to test_regress/t/t_assert_basic_cover.pl

Committer: Package Import Robot
Author(s): أحمد المحمودي (Ahmed El-Mahmoudy)
Date: 2015-04-26 16:20:52 UTC
mfrom: (4.1.5 experimental)
Revision ID: package-import@ubuntu.com-20150426162052-69yjwh512m0adl2k

Tags: 3.872-2

* Upload to unstable.
* debian/patches/*: Added DEP-3 patch headers.
* Remove debian/gbp.conf, not needed in master branch.

files added:
.pc/install_all_manpages.diff

.pc/install_all_manpages.diff/Makefile.in

.pc/shebang.diff/bin/verilator_coverage

.pc/typos.diff

.pc/typos.diff/bin

.pc/typos.diff/bin/verilator

README.pod

bin/verilator_coverage

debian/patches/install_all_manpages.diff

debian/patches/typos.diff

include/verilated_cov.cpp

include/verilated_cov.h

include/verilated_cov_key.h

src/V3FileLine.cpp

src/V3FileLine.h

src/V3Os.cpp

src/V3Os.h

src/VlcBucket.h

src/VlcMain.cpp

src/VlcOptions.h

src/VlcPoint.h

src/VlcSource.h

src/VlcTest.h

src/VlcTop.cpp

src/VlcTop.h

src/vlcovgen

test_regress/t/t_assign_inline.pl

test_regress/t/t_assign_inline.v

test_regress/t/t_cellarray.pl

test_regress/t/t_cellarray.v

test_regress/t/t_clocker.pl

test_regress/t/t_clocker.v

test_regress/t/t_concat_opt.pl

test_regress/t/t_concat_opt.v

test_regress/t/t_cover_line.out

test_regress/t/t_enum_name2.pl

test_regress/t/t_enum_name2.v

test_regress/t/t_enum_public.cpp

test_regress/t/t_enum_public.pl

test_regress/t/t_enum_public.v

test_regress/t/t_enum_type_pins.pl

test_regress/t/t_enum_type_pins.v

test_regress/t/t_flag_define.pl

test_regress/t/t_flag_define.v

test_regress/t/t_flag_define.vc

test_regress/t/t_flag_stats.pl

test_regress/t/t_flag_stats.v

test_regress/t/t_inst_comma.v

test_regress/t/t_inst_comma_inl0.pl

test_regress/t/t_inst_comma_inl1.pl

test_regress/t/t_interface1_modport_nansi.pl

test_regress/t/t_interface_gen4.pl

test_regress/t/t_interface_gen4.v

test_regress/t/t_lint_latch_bad.pl

test_regress/t/t_lint_latch_bad.v

test_regress/t/t_math_signed6.pl

test_regress/t/t_math_signed6.v

test_regress/t/t_order_2d.pl

test_regress/t/t_order_2d.v

test_regress/t/t_param_public.cpp

test_regress/t/t_select_bad_range3.pl

test_regress/t/t_select_bad_range3.v

test_regress/t/t_select_bound1.pl

test_regress/t/t_select_bound1.v

test_regress/t/t_select_bound2.pl

test_regress/t/t_select_bound2.v

test_regress/t/t_slice_struct_array_modport.pl

test_regress/t/t_slice_struct_array_modport.v

test_regress/t/t_string.pl

test_regress/t/t_string.v

test_regress/t/t_trace_array.pl

test_regress/t/t_trace_array.v

test_regress/t/t_trace_primitive.pl

test_regress/t/t_trace_primitive.v

test_regress/t/t_trace_scstruct.pl

test_regress/t/t_trace_scstruct.v

test_regress/t/t_unpacked_array_order.pl

test_regress/t/t_unpacked_array_order.v

test_regress/t/t_unroll_genf.pl

test_regress/t/t_unroll_genf.v

test_regress/t/t_var_static.pl

test_regress/t/t_var_static.v

test_regress/t/t_vlcov_data_a.dat

test_regress/t/t_vlcov_data_b.dat

test_regress/t/t_vlcov_data_c.dat

test_regress/t/t_vlcov_data_d.dat

test_regress/t/t_vlcov_merge.out

test_regress/t/t_vlcov_merge.pl

test_regress/t/t_vlcov_rank.out

test_regress/t/t_vlcov_rank.pl

test_regress/t/t_vlcov_rewrite.pl

verilator_coverage.1

files removed:
debian/manpages

debian/verilator_profcfunc.1

readme.pod

test_regress/t/t_cover_line_sp.pl

test_regress/t/t_dist_spdiff.pl

test_regress/t/t_preproc_psl.v

test_regress/t/t_preproc_psl_off.out

test_regress/t/t_preproc_psl_off.pl

test_regress/t/t_preproc_psl_on.out

test_regress/t/t_preproc_psl_on.pl

test_regress/t/t_psl_basic.pl

test_regress/t/t_psl_basic.v

test_regress/t/t_psl_basic_cover.pl

test_regress/t/t_psl_basic_off.pl

test_regress/t/t_sv_enum_type_methods.pl

test_regress/t/t_sv_enum_type_methods.v

test_regress/t/t_trace_ena_sp.pl

test_regress/t/t_trace_off_sp.pl

test_sp

test_sp/.gitignore

test_sp/Makefile

test_sp/Makefile_obj

test_vcs

test_vcs/.gitignore

test_vcs/Makefile

test_vcs/bench.v

files modified:
.gitignore

.pc/applied-patches

.pc/shebang.diff/bin/verilator

.pc/shebang.diff/bin/verilator_includer

.pc/shebang.diff/bin/verilator_profcfunc

Changes

MANIFEST.SKIP

Makefile.in

README

README.html

README.pdf

TODO

bin/verilator

bin/verilator_difftree

bin/verilator_includer

bin/verilator_profcfunc

configure

configure.ac

debian/changelog

debian/control

debian/copyright

debian/links

debian/patches/series

debian/patches/shebang.diff

doxygen.config

include/verilated.cpp

include/verilated.h

include/verilated.mk.in

include/verilated.v

include/verilated_config.h

include/verilated_config.h.in

include/verilated_dpi.cpp

include/verilated_dpi.h

include/verilated_heavy.h

include/verilated_imp.h

include/verilated_save.cpp

include/verilated_save.h

include/verilated_sc.h

include/verilated_syms.h

include/verilated_vcd_c.cpp

include/verilated_vcd_c.h

include/verilated_vcd_sc.cpp

include/verilated_vcd_sc.h

include/verilated_vpi.cpp

include/verilated_vpi.h

include/verilatedos.h

include/vltstd/svdpi.h

internals.html

internals.pdf

internals.pod

internals.txt

src/.gdbinit

src/Makefile.in

src/Makefile_obj.in

src/V3Active.cpp

src/V3Active.h

src/V3ActiveTop.cpp

src/V3ActiveTop.h

src/V3Assert.cpp

src/V3Assert.h

src/V3AssertPre.cpp

src/V3AssertPre.h

src/V3Ast.cpp

src/V3Ast.h

src/V3AstConstOnly.h

src/V3AstNodes.cpp

src/V3AstNodes.h

src/V3Begin.cpp

src/V3Begin.h

src/V3Branch.cpp

src/V3Branch.h

src/V3Broken.cpp

src/V3Broken.h

src/V3Case.cpp

src/V3Case.h

src/V3Cast.cpp

src/V3Cast.h

src/V3Cdc.cpp

src/V3Cdc.h

src/V3Changed.cpp

src/V3Changed.h

src/V3Clean.cpp

src/V3Clean.h

src/V3ClkGater.cpp

src/V3ClkGater.h

src/V3Clock.cpp

src/V3Clock.h

src/V3Combine.cpp

src/V3Combine.h

src/V3Config.cpp

src/V3Config.h

src/V3Const.cpp

src/V3Const.h

src/V3Coverage.cpp

src/V3Coverage.h

src/V3CoverageJoin.cpp

src/V3CoverageJoin.h

src/V3Dead.cpp

src/V3Dead.h

src/V3Delayed.cpp

src/V3Delayed.h

src/V3Depth.cpp

src/V3Depth.h

src/V3DepthBlock.cpp

src/V3DepthBlock.h

src/V3Descope.cpp

src/V3Descope.h

src/V3EmitC.cpp

src/V3EmitC.h

src/V3EmitCBase.h

src/V3EmitCInlines.cpp

src/V3EmitCSyms.cpp

src/V3EmitMk.cpp

src/V3EmitMk.h

src/V3EmitV.cpp

src/V3EmitV.h

src/V3EmitXml.cpp

src/V3EmitXml.h

src/V3Error.cpp

src/V3Error.h

src/V3Expand.cpp

src/V3Expand.h

src/V3File.cpp

src/V3File.h

src/V3Gate.cpp

src/V3Gate.h

src/V3GenClk.cpp

src/V3GenClk.h

src/V3Global.h

src/V3Graph.cpp

src/V3Graph.h

src/V3GraphAcyc.cpp

src/V3GraphAlg.cpp

src/V3GraphAlg.h

src/V3GraphDfa.cpp

src/V3GraphDfa.h

src/V3GraphTest.cpp

src/V3Hashed.cpp

src/V3Hashed.h

src/V3Inline.cpp

src/V3Inline.h

src/V3Inst.cpp

src/V3Inst.h

src/V3LangCode.h

src/V3LanguageWords.h

src/V3Life.cpp

src/V3Life.h

src/V3LifePost.cpp

src/V3LifePost.h

src/V3LinkCells.cpp

src/V3LinkCells.h

src/V3LinkDot.cpp

src/V3LinkDot.h

src/V3LinkJump.cpp

src/V3LinkJump.h

src/V3LinkLValue.cpp

src/V3LinkLValue.h

src/V3LinkLevel.cpp

src/V3LinkLevel.h

src/V3LinkParse.cpp

src/V3LinkParse.h

src/V3LinkResolve.cpp

src/V3LinkResolve.h

src/V3List.h

src/V3Localize.cpp

src/V3Localize.h

src/V3Name.cpp

src/V3Name.h

src/V3Number.cpp

src/V3Number.h

src/V3Number_test.cpp

src/V3Options.cpp

src/V3Options.h

src/V3Order.cpp

src/V3Order.h

src/V3OrderGraph.h

src/V3Param.cpp

src/V3Param.h

src/V3Parse.h

src/V3ParseGrammar.cpp

src/V3ParseImp.cpp

src/V3ParseImp.h

src/V3ParseLex.cpp

src/V3ParseSym.h

src/V3PreLex.h

src/V3PreLex.l

src/V3PreProc.cpp

src/V3PreProc.h

src/V3PreShell.cpp

src/V3PreShell.h

src/V3Premit.cpp

src/V3Premit.h

src/V3Scope.cpp

src/V3Scope.h

src/V3SenTree.h

src/V3Simulate.h

src/V3Slice.cpp

src/V3Slice.h

src/V3Split.cpp

src/V3Split.h

src/V3SplitAs.cpp

src/V3SplitAs.h

src/V3Stats.cpp

src/V3Stats.h

src/V3StatsReport.cpp

src/V3String.cpp

src/V3String.h

src/V3Subst.cpp

src/V3Subst.h

src/V3SymTable.h

src/V3Table.cpp

src/V3Table.h

src/V3Task.cpp

src/V3Task.h

src/V3Trace.cpp

src/V3Trace.h

src/V3TraceDecl.cpp

src/V3TraceDecl.h

src/V3Tristate.cpp

src/V3Tristate.h

src/V3Undriven.cpp

src/V3Undriven.h

src/V3Unknown.cpp

src/V3Unknown.h

src/V3Unroll.cpp

src/V3Unroll.h

src/V3Width.cpp

src/V3Width.h

src/V3WidthCommit.h

src/V3WidthSel.cpp

src/Verilator.cpp

src/astgen

src/bisonpre

src/config_build.h

src/config_build.h.in

src/config_rev.h

src/config_rev.pl

src/cppcheck_filtered

src/flexfix

src/pod2latexfix

src/verilog.l

src/verilog.y

test_c/Makefile

test_c/Makefile_obj

test_c/sim_main.cpp

test_regress/Makefile

test_regress/Makefile_obj

test_regress/driver.pl

test_regress/t/t_EXAMPLE.v

test_regress/t/t_alw_dly.pl

test_regress/t/t_assert_basic_cover.pl

test_regress/t/t_assert_cover.pl

test_regress/t/t_bitsel_struct3.v

test_regress/t/t_bitsel_wire_array_bad.pl

test_regress/t/t_cast.v

test_regress/t/t_clk_condflop_nord.v

test_regress/t/t_cover_line_cc.pl

test_regress/t/t_cover_sva_notflat.pl

test_regress/t/t_cover_toggle.pl

test_regress/t/t_detectarray_1.pl

test_regress/t/t_detectarray_2.pl

test_regress/t/t_enum_type_methods.v

test_regress/t/t_flag_werror_bad2.pl

test_regress/t/t_func.v

test_regress/t/t_help.pl

test_regress/t/t_inst_misarray_bad.pl

test_regress/t/t_inst_overwide.pl

test_regress/t/t_inst_overwide_bad.pl

test_regress/t/t_interface1_modport.v

test_regress/t/t_math_const.v

test_regress/t/t_math_real.v

test_regress/t/t_math_shift.pl

test_regress/t/t_math_signed5.v

test_regress/t/t_mem.v

test_regress/t/t_mem_first.v

test_regress/t/t_mem_multi_io.pl

test_regress/t/t_mem_multi_io2_cc.pl

test_regress/t/t_mem_multi_io3_cc.pl

test_regress/t/t_mem_multi_io3_sc.pl

test_regress/t/t_mem_multidim_trace.pl

test_regress/t/t_mem_slice.v

test_regress/t/t_order_wireloop.pl

test_regress/t/t_order_wireloop.v

test_regress/t/t_param_array.v

test_regress/t/t_param_public.pl

test_regress/t/t_param_public.v

test_regress/t/t_preproc.out

test_regress/t/t_preproc.v

test_regress/t/t_savable.v

test_regress/t/t_select_plus.v

test_regress/t/t_sys_file_basic.v

test_regress/t/t_sys_sformat.v

test_regress/t/t_trace_ena.v

test_regress/t/t_trace_ena_cc.pl

test_regress/t/t_unoptflat_simple_2_bad.pl

test_regress/t/t_var_pins_sc1.pl

test_regress/t/t_var_pins_sc2.pl

test_regress/t/t_var_pins_sc32.pl

test_regress/t/t_var_pins_sc64.pl

test_regress/t/t_var_pins_sc_biguint.pl

test_regress/t/t_var_pins_sc_uint.pl

test_regress/t/t_var_pins_sc_uint_biguint.pl

test_regress/t/t_var_pins_scui.pl

test_regress/t/t_var_pinsizes.v

test_regress/t/t_vpi_get.cpp

test_regress/t/t_vpi_memory.cpp

test_regress/t/t_vpi_unimpl.cpp

test_regress/t/t_vpi_var.cpp

test_sc/Makefile

test_sc/Makefile_obj

test_sc/sc_main.cpp

test_verilated/sim_main.cpp

test_verilated/sim_main.v

test_verilated/vgen.pl

verilator.1

verilator.html

verilator.pdf

verilator.txt

Show diffs side-by-side

added added

removed removed

test_regress/t/t_assert_basic_cover.pl

10

10

top_filename("t/t_assert_basic.v");

11

11

12

12

compile (

13

verilator_flags2 => ['--assert --sp --coverage-user'],

13

verilator_flags2 => ['--assert --cc --coverage-user'],

14

14

);

15

15

16

16

execute (

Older »