Introduce abstract verification objects generator
Program fragments generation
Since we are going to move out from Linux kernel modules to other C programs it will be very good to have some basic verification objects generator which will provide common functions for domain specific verification object generators.
- Priority changed from High to Urgent
We actually do need to think about that ASAP.
- Target version set to 2.0
- Assignee changed from Alexey Polushkin to Ilja Zakharov
- Status changed from New to Resolved
Implemented in klever-2.0.
- Status changed from Resolved to Closed
Branch klever-2.0 passed all tests and I merged it to master in 72be796e3 marked as v2.0rc1.
Also available in: Atom