We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d2299f3 commit d98fd1aCopy full SHA for d98fd1a
src/main/java/it/unipr/utils/EVMLiSAExecutor.java
@@ -9,7 +9,7 @@ public class EVMLiSAExecutor {
9
private static final Logger log = LogManager.getLogger(EVMLiSAExecutor.class);
10
11
private static int CORES = (Runtime.getRuntime().availableProcessors() > 1)
12
- ? Runtime.getRuntime().availableProcessors() - 1
+ ? Runtime.getRuntime().availableProcessors() / 4 * 3
13
: 1;
14
private static final ConcurrentMap<Class<?>, ExecutorService> ownerExecutors = new ConcurrentHashMap<>();
15
0 commit comments