--- west.console.txt	2019-09-20 17:49:12.521183369 +0000
+++ OUTPUT/west.console.txt	2019-09-21 07:38:06.129896317 +0000
@@ -63,8 +63,7 @@
 002 shutting down
 west #
  grep leak /tmp/pluto.log
-leak-detective enabled
-leak detective found no leaks
+leak-detective disabled
 west #
 west #
  ../bin/check-for-core.sh