Search results

Stuttering steps are not inserted for unchanged steps

bugSomething isn't workingSomething isn't working

Status: Open.

#56 In awakesecurity/spectacle;

· riz0id opened on Jan 10, 2023

Generating counterexample behaviors with Interaction seems awkward?

Status: Open.

#51 In awakesecurity/spectacle;

· thoughtpolice opened on Jul 12, 2022

Should --only-trace should imply --log when using interaction?

Status: Open.

#50 In awakesecurity/spectacle;

· thoughtpolice opened on Jul 12, 2022

Weird behaviour with NonDet and Stays modality

bugSomething isn't workingSomething isn't working

Status: Open.

#47 In awakesecurity/spectacle;

· gusbicalho opened on Feb 12, 2022

Publish a new revision of spectacle-1.0.0 to remove the changelog entry

Status: Open.

#43 In awakesecurity/spectacle;

· ixmatus opened on Feb 7, 2022

Use Managed monad in CLI

enhancementNew feature or requestNew feature or request

Status: Open.

#42 In awakesecurity/spectacle;

· riz0id opened on Feb 3, 2022