Get rid of Windows hacks

Fixes: #623
Fixes: #787

Author: tautschnig

buildspec-windows.yml

@@ -36,22 +36,6 @@ phases:
 
   post_build:
     commands:
-      - |
-        cd regression
-        # HACK disable failing tests
-        Remove-Item ansi-c\Forward_Declaration2 -Force -Recurse
-        Remove-Item cbmc\Malloc23 -Force -Recurse
-        Remove-Item cbmc\byte_update2 -Force -Recurse
-        Remove-Item cbmc\byte_update3 -Force -Recurse
-        Remove-Item cbmc\byte_update4 -Force -Recurse
-        Remove-Item cbmc\byte_update5 -Force -Recurse
-        Remove-Item cbmc\byte_update6 -Force -Recurse
-        Remove-Item cbmc\byte_update7 -Force -Recurse
-        cd ..
-        cd jbmc/regression
-        Remove-Item jbmc\VarLengthArrayTrace1 -Force -Recurse
-        cd ../..
-
       - |
         $env:Path = "C:\tools\cygwin\bin;$env:Path"
         cmd /c 'call "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" x64 && bash -c "make -C regression test BUILD_ENV=MSVC" '

regression/Makefile

@@ -24,21 +24,16 @@ DIRS = cbmc \
        contracts \
        # Empty last line
 
-# Tests under goto-gcc cannot be run on Windows, so appveyor.yml unlinks
-# the entire directory under Windows. This variable will contain the list
-# of directories that actually exist on the current platform.
-PLATFORM_DIRS = $(wildcard $(DIRS))
-
 # Run all test directories in sequence
 .PHONY: test
 test:
-	@for dir in $(PLATFORM_DIRS); do \
+	@for dir in $(DIRS); do \
 		$(MAKE) "$$dir" || exit 1; \
 	done;
 
 # Pattern to execute a single test suite directory
-.PHONY: $(PLATFORM_DIRS)
-$(PLATFORM_DIRS):
+.PHONY: $(DIRS)
+$(DIRS):
 	@echo "Running $@..." ;
 	$(MAKE) -C "$@" test || exit 1;
 
@@ -54,7 +49,7 @@ test-parallel:
 		--linebuffer \
 		--jobs $(JOBS) \
 		$(MAKE) "{}" \
-		::: $(PLATFORM_DIRS)
+		::: $(DIRS)
 
 
 .PHONY: clean