Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

VCD handling regression test failure #654

Closed
veripoolbot opened this issue Jun 3, 2013 · 1 comment
Closed

VCD handling regression test failure #654

veripoolbot opened this issue Jun 3, 2013 · 1 comment
Assignees
@wsnyder
Labels
area: tests Issue involves the testing system resolution: fixed Closed; fixed

Comments

@veripoolbot
Copy link
Contributor

Author Name: Jeremy Bennett (@jeremybennett)
Original Redmine Issue: 654 from https://www.veripool.org
Original Date: 2013-06-03
Original Assignee: Wilson Snyder (@wsnyder)

The t_trace_cat_renew fails with the current git master (commit ID 7a65df7). It seems that the renewed VCD file is not created:

*-* All Finished *-*
WARNING - Ignoring signal top.clk ($) - not defined in both files
	  Defined in file 'obj_dir/t_trace_cat_renew/simpart_0100.vcd' and not file 't/t_trace_cat_renew_0100.out'

WARNING - Ignoring signal top.v.clk ($) - not defined in both files
	  Defined in file 'obj_dir/t_trace_cat_renew/simpart_0100.vcd' and not file 't/t_trace_cat_renew_0100.out'

WARNING - Ignoring signal top.v.cyc[31:0] (#) - not defined in both files
	  Defined in file 'obj_dir/t_trace_cat_renew/simpart_0100.vcd' and not file 't/t_trace_cat_renew_0100.out'

*** ERROR-dump files have no matching variables to diff
%Warning: vlt/t_trace_cat_renew: VCD miscompare obj_dir/t_trace_cat_renew/simpart_0100.vcd t/t_trace_cat_renew_0100.out

vlt/t_trace_cat_renew: %Error: VCD miscompare obj_dir/t_trace_cat_renew/simpart_0100.vcd t/t_trace_cat_renew_0100.out
vlt/t_trace_cat_renew: FAILED: ************************************************************
@veripoolbot
Copy link
Contributor Author

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2013-06-03T23:08:43Z

Passed on my system, but valgrind suggested the problem.

Fixed in git towards 3.851.

@veripoolbot veripoolbot added area: tests Issue involves the testing system resolution: fixed Closed; fixed labels Dec 22, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wsnyder wsnyder

Labels
area: tests Issue involves the testing system resolution: fixed Closed; fixed
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@wsnyder @veripoolbot