cprover
Loading...
Searching...
No Matches
require_symbol.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Unit test utilities
4
5Author: Diffblue Limited.
6
7\*******************************************************************/
8
9#ifndef CPROVER_TESTING_UTILS_REQUIRE_SYMBOL_H
10#define CPROVER_TESTING_UTILS_REQUIRE_SYMBOL_H
11
12#include <util/irep.h>
13
14class symbol_tablet;
15class symbolt;
16
19
20// NOLINTNEXTLINE(readability/namespace)
22{
24 const symbol_tablet &symbol_table,
25 const irep_idt &symbol_identifier);
26}
27
28#endif // CPROVER_TESTING_UTILS_REQUIRE_SYMBOL_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:39
The symbol table.
Symbol table entry.
Definition symbol.h:28
const symbolt & require_symbol_exists(const symbol_tablet &symbol_table, const irep_idt &symbol_identifier)
Verify whether a given identifier is found in the symbol table and return it.