Foxtrot & Clousot tests are disable because of time limit in AppVeyor free plan
Foxtrot & Clousot tests are disable because of time limit in AppVeyor free plan

Must be restored when Microsoft upgarde CodeContracts' AppVeyor plan to Basic or high
ndykman/CodeContracts,ndykman/CodeContracts,huoxudong125/CodeContracts,Microsoft/CodeContracts,Microsoft/CodeContracts,huoxudong125/CodeContracts,hubuk/CodeContracts,SergeyTeplyakov/CodeContracts,huoxudong125/CodeContracts,huoxudong125/CodeContracts,hubuk/CodeContracts,SergeyTeplyakov/CodeContracts,huoxudong125/CodeContracts,huoxudong125/CodeContracts,hubuk/CodeContracts,ndykman/CodeContracts,SergeyTeplyakov/CodeContracts,SergeyTeplyakov/CodeContracts,SergeyTeplyakov/CodeContracts,SergeyTeplyakov/CodeContracts,hubuk/CodeContracts,ndykman/CodeContracts,huoxudong125/CodeContracts,hubuk/CodeContracts,hubuk/CodeContracts,Microsoft/CodeContracts,Microsoft/CodeContracts,hubuk/CodeContracts,ndykman/CodeContracts,Microsoft/CodeContracts,ndykman/CodeContracts,Microsoft/CodeContracts,SergeyTeplyakov/CodeContracts,ndykman/CodeContracts,Microsoft/CodeContracts