assembly analysis pass that diffs IL contents for debugging (#249)

.github/workflows/build-test.yml

@@ -28,6 +28,10 @@ jobs:
       - name: Build Coyote projects
         run: ./Scripts/build.ps1
         shell: pwsh
+      - name: Validate Coyote Rewriting
+        if: ${{ matrix.platform == 'windows-latest' }}
+        run: ./Tests/compare-rewriting-diff-logs.ps1
+        shell: pwsh
       - name: Run Coyote Tests
         run: ./Scripts/run-tests.ps1
         shell: pwsh

.gitignore

@@ -4,6 +4,7 @@
 ## Get latest from https://github.com/github/gitignore/blob/master/VisualStudio.gitignore
 
 # User-specific files
+*.rsuser
 *.suo
 *.user
 *.userosscache
@@ -12,25 +13,27 @@
 # User-specific files (MonoDevelop/Xamarin Studio)
 *.userprefs
 
+# Mono auto generated files
+mono_crash.*
+
 # Build results
-[Bb]uild/
-[Cc]odegen/
 [Dd]ebug/
 [Dd]ebugPublic/
 [Rr]elease/
 [Rr]eleases/
 x64/
 x86/
+[Ww][Ii][Nn]32/
+[Aa][Rr][Mm]/
+[Aa][Rr][Mm]64/
 bld/
 [Bb]in/
-[Bb]inaries/
 [Oo]bj/
 [Ll]og/
+[Ll]ogs/
 
-# Visual Studio cache/options directory
+# Visual Studio 2015/2017 cache/options directory
 .vs/
-**/.vscode/**
-
 # Uncomment if you have tasks that create the project's static files in wwwroot
 #wwwroot/
 
@@ -41,9 +44,10 @@ Generated\ Files/
 [Tt]est[Rr]esult*/
 [Bb]uild[Ll]og.*
 
-# NUNIT
+# NUnit
 *.VisualState.xml
 TestResult.xml
+nunit-*.xml
 
 # Build Results of an ATL Project
 [Dd]ebugPS/
@@ -52,21 +56,22 @@ dlldata.c
 
 # Benchmark Results
 BenchmarkDotNet.Artifacts/
-benchmark_*/
 
 # .NET Core
 project.lock.json
 project.fragment.lock.json
 artifacts/
-**/Properties/launchSettings.json
+
+# ASP.NET Scaffolding
+ScaffoldingReadMe.txt
 
 # StyleCop
 StyleCopReport.xml
 
 # Files built by Visual Studio
 *_i.c
 *_p.c
-*_i.h
+*_h.h
 *.ilk
 *.meta
 *.obj
@@ -83,7 +88,9 @@ StyleCopReport.xml
 *.tlh
 *.tmp
 *.tmp_proj
+*_wpftmp.csproj
 *.log
+*.tlog
 *.vspscc
 *.vssscc
 .builds
@@ -125,9 +132,6 @@ _ReSharper*/
 *.[Rr]e[Ss]harper
 *.DotSettings.user
 
-# JustCode is a .NET coding add-in
-.JustCode
-
 # TeamCity is a build add-in
 _TeamCity*
 
@@ -138,6 +142,11 @@ _TeamCity*
 .axoCover/*
 !.axoCover/settings.json
 
+# Coverlet is a free, cross platform Code Coverage Tool
+coverage*.json
+coverage*.xml
+coverage*.info
+
 # Visual Studio code coverage results
 *.coverage
 *.coveragexml
@@ -183,8 +192,10 @@ publish/
 # in these scripts will be unencrypted
 PublishScripts/
 
-# NuGet
+# NuGet Packages
 *.nupkg
+# NuGet Symbol Packages
+*.snupkg
 # The packages folder can be ignored because of Package Restore
 **/[Pp]ackages/*
 # except build/, which is used as an MSBuild target.
@@ -194,7 +205,9 @@ PublishScripts/
 # NuGet v3's project.json files produces more ignorable files
 *.nuget.props
 *.nuget.targets
-nuget.exe
+
+# Nuget personal access tokens and Credentials
+# nuget.config
 
 # Microsoft Azure Build Output
 csx/
@@ -210,12 +223,14 @@ BundleArtifacts/
 Package.StoreAssociation.xml
 _pkginfo.txt
 *.appx
+*.appxbundle
+*.appxupload
 
 # Visual Studio cache files
 # files ending in .cache can be ignored
 *.[Cc]ache
 # but keep track of directories ending in .cache
-!*.[Cc]ache/
+!?*.[Cc]ache/
 
 # Others
 ClientBin/
@@ -259,6 +274,9 @@ ServiceFabricBackup/
 *.bim.layout
 *.bim_*.settings
 *.rptproj.rsuser
+*- [Bb]ackup.rdl
+*- [Bb]ackup ([0-9]).rdl
+*- [Bb]ackup ([0-9][0-9]).rdl
 
 # Microsoft Fakes
 FakesAssemblies/
@@ -294,12 +312,8 @@ paket-files/
 # FAKE - F# Make
 .fake/
 
-# JetBrains Rider
-.idea/
-*.sln.iml
-
-# CodeRush
-.cr/
+# CodeRush personal settings
+.cr/personal
 
 # Python Tools for Visual Studio (PTVS)
 __pycache__/
@@ -336,12 +350,47 @@ ASALocalRun/
 # MFractors (Xamarin productivity tool) working folder
 .mfractor/
 
-# mkdocs
-site
+# Local History for Visual Studio
+.localhistory/
+
+# BeatPulse healthcheck temp database
+healthchecksdb
+
+# Backup folder for Package Reference Convert tool in Visual Studio 2017
+MigrationBackup/
+
+# Ionide (cross platform F# VS Code tools) working folder
+.ionide/
+
+# Fody - auto-generated XML schema
+FodyWeavers.xsd
+
+# VS Code files for those working on multiple tools
+.vscode/*
+!.vscode/settings.json
+!.vscode/tasks.json
+!.vscode/launch.json
+!.vscode/extensions.json
+*.code-workspace
+
+# Local History for Visual Studio Code
+.history/
+
+# Windows Installer files from build outputs
+*.cab
+*.msi
+*.msix
+*.msm
+*.msp
+
+# JetBrains Rider
+.idea/
+*.sln.iml
 
 # Website
+site
 docs/assets/images/Thumbs.db
 docs/_data/sidebar-temp.yml
 docs/_learn/ref/toc.yml
 .ipynb_checkpoints/
-*-checkpoint.ipynb
+*-checkpoint.ipynb

Scripts/build.ps1

@@ -4,7 +4,8 @@
 param(
     [ValidateSet("Debug", "Release")]
     [string]$configuration = "Release",
-    [bool]$local = $true
+    [bool]$local = $true,
+    [switch]$latest
 )
 
 $ScriptDir = $PSScriptRoot
@@ -40,12 +41,12 @@ $solution = Join-Path -Path $ScriptDir -ChildPath "\.." -AdditionalChildPath "Co
 $command = "build -c $configuration $solution /p:Platform=""Any CPU"""
 
 if ($local) {
-    if ($version_net4) {
+    if ($version_net4 -and -not $latest) {
         # Build .NET Framework 4.x as well as the new version.
         $command = $command + " /p:BUILD_NET462=yes"
     }
 
-    if ($null -ne $version_netcore31 -and $version_netcore31 -ne $sdk_version) {
+    if ($null -ne $version_netcore31 -and $version_netcore31 -ne $sdk_version -and -not $latest) {
         # Build .NET Core 3.1 as well as the new version.
         $command = $command + " /p:BUILD_NETCORE31=yes"
     }

Source/Test/Rewriting/CachedNameProvider.cs

@@ -52,7 +52,7 @@ internal static class CachedNameProvider
         internal static string GenericHashSetFullName { get; } = typeof(SystemGenericCollections.HashSet<>).FullName;
 
         internal static string ConcurrentBagFullName { get; } = typeof(SystemConcurrentCollections.ConcurrentBag<>).FullName;
-        internal static string ConcurrentDictonaryFullName { get; } = typeof(SystemConcurrentCollections.ConcurrentDictionary<,>).FullName;
+        internal static string ConcurrentDictionaryFullName { get; } = typeof(SystemConcurrentCollections.ConcurrentDictionary<,>).FullName;
         internal static string ConcurrentQueueFullName { get; } = typeof(SystemConcurrentCollections.ConcurrentQueue<>).FullName;
         internal static string ConcurrentStackFullName { get; } = typeof(SystemConcurrentCollections.ConcurrentStack<>).FullName;
     }