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

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

Comments

@veripoolbot
Copy link

@veripoolbot veripoolbot commented Sep 5, 2014


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

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Sep 6, 2014


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 veripoolbot closed this Sep 6, 2014
@veripoolbot

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Sep 6, 2014


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
Projects
None yet
1 participant
You can’t perform that action at this time.