CBMC
c_wrangler.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: C Wrangler
4 
5 Author: Daniel Kroening, dkr@amazon.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_CRANGLER_C_WRANGLER_H
13 #define CPROVER_CRANGLER_C_WRANGLER_H
14 
15 class jsont;
16 
17 void c_wrangler(const jsont &);
18 
19 #endif // CPROVER_CRANGLER_C_WRANGLER_H
jsont
Definition: json.h:26
c_wrangler
void c_wrangler(const jsont &)
Definition: c_wrangler.cpp:561