Merged PR 1430: added missing net47

This PR adds a bunch of missing `NET47`.

Source/TestingServices/Engines/AbstractTestingEngine.cs

@@ -4,7 +4,7 @@
 using System;
 using System.Collections.Generic;
 using System.Diagnostics;
-#if NET46
+#if NET46 || NET47
 using System.Configuration;
 #endif
 using System.IO;
@@ -143,7 +143,7 @@ namespace Microsoft.Coyote.TestingServices
                 Error.ReportAndExit(ex.Message);
             }
 
-#if NET46
+#if NET46 || NET47
             // Load config file and absorb its settings.
             try
             {

Tools/Coyote/Instrumentation/CodeCoverageInstrumentation.cs

@@ -1,14 +1,14 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
-#if NET46
+#if NET46 || NET47
 using System;
 using System.Collections.Generic;
 using System.Configuration;
 using System.Diagnostics;
 #endif
 using System.IO;
-#if NET46
+#if NET46 || NET47
 using System.Linq;
 
 using Microsoft.Coyote.IO;
@@ -23,7 +23,7 @@ namespace Microsoft.Coyote.TestingServices
     internal static class CodeCoverageInstrumentation
     {
         internal static string OutputDirectory = string.Empty;
-#if NET46
+#if NET46 || NET47
         internal static List<string> InstrumentedAssemblyNames = new List<string>();
 
         internal static void Instrument(Configuration configuration)

Tools/Coyote/Monitoring/CodeCoverageMonitor.cs

@@ -1,7 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
-#if NET46
+#if NET46 || NET47
 using System;
 using System.Diagnostics;
 using System.IO;

Tools/Coyote/Program.cs

@@ -70,7 +70,7 @@ namespace Microsoft.Coyote
 
             if (Configuration.ReportCodeCoverage)
             {
-#if NET46
+#if NET46 || NET47
                 // Instruments the program under test for code coverage.
                 CodeCoverageInstrumentation.Instrument(Configuration);
 
@@ -160,7 +160,7 @@ namespace Microsoft.Coyote
         /// </summary>
         private static void Shutdown()
         {
-#if NET46
+#if NET46 || NET47
             if (Configuration != null && Configuration.ReportCodeCoverage && CodeCoverageMonitor.IsRunning)
             {
                 Console.WriteLine(". Shutting down the code coverage monitor, this may take a few seconds...");

Tools/Coyote/Testing/TestingProcessFactory.cs

@@ -21,7 +21,7 @@ namespace Microsoft.Coyote.TestingServices
         {
             string assembly = Assembly.GetExecutingAssembly().Location;
             Console.WriteLine("Launching " + assembly);
-#if NET46
+#if NET46 || NET47
             ProcessStartInfo startInfo = new ProcessStartInfo(assembly,
                 CreateArgumentsFromConfiguration(id, configuration));
 #else

Tools/Coyote/Utilities/DependencyGraph.cs

@@ -1,7 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
-#if NET46
+#if NET46 || NET47
 using System;
 using System.Collections.Generic;
 using System.Linq;

Tools/Coyote/Utilities/DependentAssemblyLoader.cs

@@ -1,7 +1,7 @@
 // Copyright (c) Microsoft Corporation.
 // Licensed under the MIT License.
 
-#if NET46
+#if NET46 || NET47
 using System;
 using System.Collections.Generic;
 using System.IO;