Skip to content

ignore non-Java files in enum static init unwind#503

Merged
kroening merged 1 commit intodiffblue:masterfrom
mgudemann:fix_remove_static_init_non_java_functions
Feb 9, 2017
Merged

ignore non-Java files in enum static init unwind#503
kroening merged 1 commit intodiffblue:masterfrom
mgudemann:fix_remove_static_init_non_java_functions

Commits

Commits on Feb 6, 2017