Here is a list of all macros with links to the files they belong to:

A

B

C

D

E

F

G

H

I

J

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

_

- n -

• NAMED_SUB_IS_FORWARD_LIST : irep.h
• NB_COLOURS : event_graph.cpp
• NESTING_CLOSED_LINE_SEPARATOR : expr2statement_list.cpp
• NESTING_OPEN_LINE_SEPARATOR : expr2statement_list.cpp
• newstack : parser.h
• NO_VALUE : statement_list_parse_tree_io.cpp
• NODEV : kdev_t.h
• NONDET_VOLATILE_MODEL_OPT : nondet_volatile.h
• NONDET_VOLATILE_OPT : nondet_volatile.h
• NONDET_VOLATILE_VARIABLE_OPT : nondet_volatile.h
• NORMALISE_CONSTANT_TESTS : simplify_expr_int.cpp
• NOT : expr2statement_list.cpp
• NOT_POSTFIX : expr2statement_list.cpp