tree 9a2987a907e4185dca0a2e60d40e5eec12bc579b
parent 45d350b9dc97ac73ea72d7b28ae57c2c01a89e90
author Gilles Peskine <Gilles.Peskine@arm.com> 1607642834 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1607643311 +0100

Refactor and generalize run_c

Generalize the very ad hoc run_c function into a function to generate
a C program to print the value of a list of expressions. Refactor the
code into several functions to make it more manageable.

No intended behavior change.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>