Opened 5 years ago

Last modified 5 years ago

#62 assigned feature

Generate concrete counterexample from smt.

Reported by: Henrich Lauko Owned by: Henrich Lauko
Priority: major Milestone: 4.3
Component: MC Keywords:
Cc:

Description


Change History (1)

comment:1 Changed 5 years ago by Henrich Lauko

Owner: changed from mornfall to Henrich Lauko
Status: new → assigned
Note: See TracTickets for help on using tickets.