コード例 #1
0
ファイル: Tests.cs プロジェクト: kingces95/CodeContracts 
 [AssemblyCleanup] // Automatically called at the end of ClousotCacheTests
 public static void AssemblyCleanup()
 {
     TestDriver.Cleanup();
 }