Skip to content

Improving counterexample generation #12

Closed
Closed
Improving counterexample generation#12
Assignees
hbgitMarkusKaul
Labels
bugenhancement

Description

@hbgit
hbgit
opened on Apr 9, 2019
  • Identify failures
  • Fix bugs on counterexample generation
  • Propose a method to simplify the counterexample size
  • Coding a method to simplify the counterexample size

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

bugenhancement

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions