CBMC
|
ANSI-C Linking. More...
#include <util/replace_symbol.h>
Go to the source code of this file.
Classes | |
class | casting_replace_symbolt |
A variant of replace_symbolt that does not require types to match, but instead inserts type casts as needed when replacing one symbol by another. More... | |
ANSI-C Linking.
Definition in file casting_replace_symbol.h.