--- east.console.txt	2019-09-20 17:49:12.546182466 +0000
+++ OUTPUT/east.console.txt	2019-09-21 07:36:32.538216852 +0000
@@ -15,8 +15,7 @@
 east #
 east #
  grep "^leak" /tmp/pluto.log
-leak-detective enabled
-leak detective found no leaks
+leak-detective disabled
 east #
  ../bin/check-for-core.sh
 east #