From ab59659d0a2d6c40d84957fac434c41342fffdfe Mon Sep 17 00:00:00 2001 From: Peter Schrammel Date: Fri, 5 Jan 2018 18:48:50 +0100 Subject: [PATCH] Allow instrumentation of java.* and org.cprover.* --- src/goto-instrument/cover_filter.cpp | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/src/goto-instrument/cover_filter.cpp b/src/goto-instrument/cover_filter.cpp index ee1f0859dfa..3ca83843170 100644 --- a/src/goto-instrument/cover_filter.cpp +++ b/src/goto-instrument/cover_filter.cpp @@ -32,11 +32,8 @@ bool internal_functions_filtert::operator()( if(goto_function.is_hidden()) return false; - // ignore Java built-ins - if( - has_prefix(id2string(identifier), "java::array[") || - has_prefix(id2string(identifier), "java::org.cprover") || - has_prefix(id2string(identifier), "java::java.")) + // ignore Java built-ins (synthetic functions) + if(has_prefix(id2string(identifier), "java::array[")) return false; // ignore if built-in library