Opened 6 years ago
Last modified 6 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 6 years ago by
| Owner: | changed from mornfall to Henrich Lauko |
|---|---|
| Status: | new → assigned |
Note: See
TracTickets for help on using
tickets.