fix AppVeyor CI to execute Z3.
(This is a blind test, not sure if working.)
@@ -31,6 +31,9 @@ install:
build_script:
- ant build
+ # Windows does not allow symlinks, thus we need to copy Z3 to make it available for JUnit tests.
+ # See lib\native\x86_64-windows\README.md for details.
+ - copy lib\java\runtime-z3\*dll lib\native\x86_64-windows\
test_script:
- ant unit-tests
