Opened 6 months ago

Last modified 6 months ago

#4 new feature

Implement exec --symbolic.

Reported by: mornfall Owned by: mornfall
Priority: major Milestone: 4.2
Component: MC Keywords:


Basically what KLEE does: construct / explore a symbolic execution tree. Probably with a depth bound (or with iterative deepening). Report errors.

Change History (1)

comment:1 Changed 6 months ago by mornfall

Milestone: 4.2
Note: See TracTickets for help on using tickets.