Cause a regeneration of the _start method if a --function is provided#338

Merged

thk123 merged 17 commits intodiffblue:developfrom thk123:bug/function-flag-on-goto-program

Sep 14, 2017

+656-35

Commits on Sep 13, 2017

Cause a regeneration of the entry method if a --function is provided
thk123
committed
Adding explanatory comment
thk123
committed
Protect against invalid function label
thk123
committed
Call generate_start_function only when regenerating the start function
thk123
committed
Implemented generate_start_function for Java
thk123
committed
Added regression test for using --function on a GOTO program
thk123
committed
Refactored the regenerate function into goto-programs
thk123
committed
Made generate_start_function abstract
thk123
committed
Use ID_main as the default name for entry function
thk123
committed
Adding missing overrides
thk123
committed
Add support for using the --function flag to goto-analyze and symex
thk123
committed
Fixing the method to work with java_bytecode
thk123
committed
Weaked the tests for pointer-function-parameters
thk123
committed
Disable failing test in the symex directory
thk123
committed
Ensure symex and goto-analyzer regenerate functions
thk123
committed
Corrected doxygen errors
thk123
committed
Correcting windows build
thk123
committed