Searched refs:compute (Results 1 – 2 of 2) sorted by relevance
| /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/ |
| D | make_proof_makefiles.py | 169 new_value.append(compute(item, so_far, system, name, dyr, True))
172 makefile[name] = compute(value, so_far, system, name, dyr)
195 def compute(value, so_far, system, key, harness, appending=False): function
|
| /FreeRTOS-Plus-TCP-v3.1.0/ |
| D | MISRA.md | 23 the 16-bit union members are used to then compute the final checksum.
|
