Disable SMT tests on windows.

This commit is contained in:
chriseth 2017-10-04 12:48:23 +02:00
parent 3be37d15e0
commit fefdfc0711

View File

@ -71,7 +71,7 @@ build_script:
test_script:
- cd %APPVEYOR_BUILD_FOLDER%
- cd %APPVEYOR_BUILD_FOLDER%\build\test\%CONFIGURATION%
- soltest.exe --show-progress -- --no-ipc
- soltest.exe --show-progress -- --no-ipc --no-smt
artifacts:
- path: solidity-windows.zip