anchor.diff:    print ("Shutting down");
   
     await analysisServer.shutdown();
  +  await strongAnalysisServer.shutdown();  
     await server.shutdown();
   }
   
  
positive.code:   apiServer = new ApiServer(apiPrefix: '/api', prettyPrint: true)
      ..addApi(server);
  
    // TODO: We should drive both strong and non-strong modes in the fuzzer.
    analysisServer = new analysis_server.AnalysisServerWrapper(sdkPath);
    await analysisServer.init();
  
    print("Warming up analysis server");
    await analysisServer.warmup();
  
    print("Warming up compiler");
    compiler = new comp.Compiler(sdkPath);
  
negative.code:  */
  Future setupTools(String sdkPath) async {
    print("Executing setupTools");
    analysisServer?.shutdown();
    strongAnalysisServer?.shutdown();
  
    print("SdKPath: $sdkPath");
  
  