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

Using $error causes core dump #819

Closed
veripoolbot opened this issue Sep 5, 2014 · 2 comments
Closed

Using $error causes core dump #819

veripoolbot opened this issue Sep 5, 2014 · 2 comments
Labels
resolution: no fix needed Closed; no fix required (not a bug)

Comments

@veripoolbot
Copy link
Contributor

Author Name: Jonathon Donaldson
Original Redmine Issue: 819 from https://www.veripool.org
Original Date: 2014-09-05

Attached is a minimal example of a design which core dumps when using $error.
@veripoolbot
Copy link
Contributor Author

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2014-09-06T02:17:03Z

You have a failing assertion and as you have not overridden the vl_fatal function which handles errors, the default for that function is to call abort(), so you can see what caused the assertion failure.

I will however add a print statement about this.

@veripoolbot
Copy link
Contributor Author

Original Redmine Comment
Author Name: Jonathon Donaldson
Original Date: 2014-09-06T04:59:45Z

Ah, that makes sense. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
resolution: no fix needed Closed; no fix required (not a bug)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@veripoolbot