Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
Dmake_proof_makefiles.py265 def eval_single_node(node): function
273 guard = eval_single_node(node.test)
280 return eval_single_node(node.body)
281 return eval_single_node(node.orelse)
283 left = eval_single_node(node.left)
285 right = eval_single_node(node.comparators[0])
286 op = eval_single_node(node.ops[0])
289 left = eval_single_node(node.left)
290 right = eval_single_node(node.right)
291 op = eval_single_node(node.op)
[all …]