Commit 29169d5

committed

Add Visual Studio 2017 preprocessed variant of va_list3 test

This will aid debugging as Visual Studio mostly just uses macros to implement the va_* functions.

1 parent f887538 commit 29169d5Copy full SHA for 29169d5

2 files changed

+5881

-0

lines changed

regression/cbmc/va_list3
- windows-preprocessed.desc
- windows-preprocessed.i

2 files changed

+5881

-0

lines changed

`‎regression/cbmc/va_list3/windows-preprocessed.desc`

+8

-Original file line number
+Diff line change
@@ @@ -0,0 +1,8 @@ @@
 +KNOWNBUG
 +windows-preprocessed.i
 +--winx64
 +^EXIT=0$
 +^SIGNAL=0$
 +^VERIFICATION SUCCESSFUL$
 +--
 +^warning: ignoring

Comments

(0)