cprover
Functions
windows_builtin_headers.h File Reference
Go to the source code of this file.
Functions
int
__noop
()
int
__assume
(int)
Function Documentation
◆
__assume()
int __assume
(
int
)
◆
__noop()
int __noop
(
)
ansi-c
windows_builtin_headers.h
Generated by
1.8.20