You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Please see the attached files! Please excuse if multiple files fail for the same root cause - I tried hard to uniquify the failures but may have not done very good job ;(
vess
The text was updated successfully, but these errors were encountered:
Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2009-11-16T21:24:48Z
I'm sorry about this but I'm not under NDA with your company and we both need to honor the copyrights in the files, unless you can state you own the copyright - and no it's not enough to just strip the comments :) I'm deleting them.
I think there's real issues here, but I really need a issue for each major problem including a "sanitized" few lines of each construct that is causing problems. For example from what you emailed separately:
module bugas;
initial begin
ASSERT_CHK: assert (0) else $error("%m -- not allowed %d", 0);
end
endmodule
Sorry, but this is part of the "cost" to you of open source.
Author Name: vesselin kavalov (@vessko)
Original Redmine Issue: 186 from https://www.veripool.org
Original Date: 2009-11-16
Please see the attached files! Please excuse if multiple files fail for the same root cause - I tried hard to uniquify the failures but may have not done very good job ;(
vess
The text was updated successfully, but these errors were encountered: