Home
last modified time | relevance | path

Searched refs:node (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
Dmake_proof_makefiles.py265 def eval_single_node(node): argument
266 logging.debug(node)
267 if isinstance(node, ast_num):
268 return node.n
271 if isinstance(node, ast.IfExp):
273 guard = eval_single_node(node.test)
280 return eval_single_node(node.body)
281 return eval_single_node(node.orelse)
282 if isinstance(node, ast.Compare):
283 left = eval_single_node(node.left)
[all …]
/FreeRTOS-Plus-TCP-v4.0.0/docs/doxygen/
Dconfig.doxyfile2555 # class node. If there are many fields or methods and many nodes the graph may
2735 # by representing a node as a red box. Note that doxygen if the number of direct
2736 # children of the root node in a graph is already larger than
2747 # further from the root node will be omitted. Note that setting this option to 1