Merge pull request diffblue#1358 from thk123/feature/decrease-message-spam

Daniel Kroening · web-flow · commit 56b5e25927d0 · 2017-09-07T15:40:27.000+01:00
Modified verbosity for loaded message
diff --git a/src/java_bytecode/java_class_loader.cpp b/src/java_bytecode/java_class_loader.cpp
@@ -207,7 +207,7 @@ void java_class_loadert::read_jar_file(
     // does it end on .class?
     if(has_suffix(file_name, ".class"))
     {
-      status() << "read class file " << file_name << " from " << file << eom;
+      debug() << "read class file " << file_name << " from " << file << eom;
       irep_idt class_name=file_to_class_name(file_name);
 
       // record

Original file line number	Diff line number	Diff line change
`@@ -207,7 +207,7 @@ void java_class_loadert::read_jar_file(`
`207`	`207`	`// does it end on .class?`
`208`	`208`	`if(has_suffix(file_name, ".class"))`
`209`	`209`	`{`
`210`		`- status() << "read class file " << file_name << " from " << file << eom;`
	`210`	`+ debug() << "read class file " << file_name << " from " << file << eom;`
`211`	`211`	`irep_idt class_name=file_to_class_name(file_name);`
`212`	`212`
`213`	`213`	`// record`