Opened 7 years ago

Last modified 7 years ago

#4 assigned feature

Implement exec --symbolic.

Reported by: mornfall Owned by: adamatousek
Priority: major Milestone: 4.3
Component: MC Keywords:
Cc:

Description

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

Change History (3)

comment:1 Changed 7 years ago by mornfall

Milestone: → 4.2

comment:2 Changed 7 years ago by adamatousek

Owner: changed from mornfall to adamatousek
Status: new → assigned

comment:3 Changed 7 years ago by mornfall

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