Ah, I somehow missed this documentation. This looks useful for my purposes.
Thanks for the suggestion, Gabriel! :)
To be clearer, the assignments are produced by an SMT solver, or rather, by
a parser that reads the model produced by an SMT solver and produces output
that looks like C lines. Basica
Hi Jonathan,
On Sat, Mar 02, 2013 at 08:44:10AM -0800, Jonathan Kotker wrote:
> I was looking through the CIL codebase in search of a function that would
> convert a statement into an element of the CIL representation.
>
> The larger context of this problem is as follows: I have a C file, and I
>
Bump. :)
On 2 March 2013 08:44, Jonathan Kotker wrote:
> Hello (CIL) World.
>
> I was looking through the CIL codebase in search of a function that would
> convert a statement into an element of the CIL representation.
>
> The larger context of this problem is as follows: I have a C file, and I
Hello (CIL) World.
I was looking through the CIL codebase in search of a function that would
convert a statement into an element of the CIL representation.
The larger context of this problem is as follows: I have a C file, and I
also have another file (a non-legal C file) with assignments such as
