Skip to content

Cleanup 'undefined-function' options to use 'generate-function-body' #2070

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.

Sign up for GitHub

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
Open
chrisr-diffblue opened this issue Apr 16, 2018 · 2 comments
Open

Cleanup 'undefined-function' options to use 'generate-function-body' #2070

chrisr-diffblue opened this issue Apr 16, 2018 · 2 comments
Assignees
@chrisr-diffblue

Comments

@chrisr-diffblue
Copy link
Contributor

Once #1889 is merged, --undefined-function-is-assume-false can be deprecated and its functionality replaced with the combination of --generate-function-body '.*' --generate-function-body-options assume-false. Likewise undefined_function_abort_path could also be replaced with the --generate-function-body mechanism. These and any similar options should be cleaned up to use the new mechanism.
@chrisr-diffblue chrisr-diffblue mentioned this issue Apr 16, 2018
Merged
@chrisr-diffblue
Copy link
Contributor Author

@tautschnig - I hope this issue captures the thoughts you had on cleanups that followed the work in #1889 but please add anything else that I may have missed.

@tautschnig tautschnig mentioned this issue Apr 27, 2018
Merged
@martin-cs
Copy link
Collaborator

#1899 has been merged... :-)

@chrisr-diffblue chrisr-diffblue self-assigned this May 18, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@chrisr-diffblue chrisr-diffblue

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@martin-cs @chrisr-diffblue