Commit df10e7b

authored and

Daniel Kroening

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 e9131f9 commit df10e7bCopy full SHA for df10e7b

2 files changed

+5884

-0

lines changed

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

2 files changed

+5884

-0

lines changed

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

+11

-Original file line number
+Diff line change
 +KNOWNBUG
 +windows-preprocessed.i
 +--winx64
 +^EXIT=0$
 +^SIGNAL=0$
 +^VERIFICATION SUCCESSFUL$
 +--
 +^warning: ignoring
 +--
 +The preprocessed file was generated from va_list3/main.c using Visual Studio
 +2017.

Comments

(0)