Windows headers

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@1539 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2012-09-05 07:15:20 +00:00 · 2012-09-05 07:15:20 +00:00 · e3ee800f8d
parent 9655d295da
commit e3ee800f8d
2 changed files with 308878 additions and 0 deletions
--- a/regression/cpp/windows_h_VS_2012/main.ii
+++ b/regression/cpp/windows_h_VS_2012/main.ii
--- a/regression/cpp/windows_h_VS_2012/test.desc
+++ b/regression/cpp/windows_h_VS_2012/test.desc
@ -0,0 +1,10 @@
+CORE
+main.ii
+--i386-win32
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$
+--
+This is windows.h from MS Visual Studio 8 (2012) after preprocessing