Support Klee out-of-the-box

HachiSecurity / plc-llvm

A compiler from Plutus Core to LLVM IR.

10 stars 0 forks source link

Support Klee out-of-the-box #33

Open mbg opened 2 years ago

mbg commented 2 years ago

It would be good to automatically generate entry points that are compatible with Klee. Alternatively, we could support generating a library of some form that can then be consumed from a C program. (Or both.)

aquynh commented 2 years ago

yes, support for Klee can be specified via cmdline option?

the same can be done for the library idea.