- cerberus version: df153e1
- command used:
cerberus --task-type=analyze --benchmark=vulnloc --tool=infer --tool-param="--bufferoverrun --pulse --biabduction" --bug-index-list=1-8,11-43 -g --cpu-count=128 --rebuild-all
Cerberus seems to be stuck (at least the UI is stuck) when building multiple experiment environments at the same time. When executing the command above, cerberus stuck at the following screen, and the UI becomes unresponsive.
