cprover
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 ( )