Issues

• Stuttering steps are not inserted for unchanged steps

  bug
  awakesecurity/spectacle#56 · Filter by author riz0id opened on Jan 10, 2023
  

• Generating counterexample behaviors with Interaction seems awkward?

  awakesecurity/spectacle#51 · Filter by author thoughtpolice opened on Jul 12, 2022
  3

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

  awakesecurity/spectacle#50 · Filter by author thoughtpolice opened on Jul 12, 2022
  1

• Weird behaviour with NonDet and Stays modality

  bug
  awakesecurity/spectacle#47 · Filter by author gusbicalho opened on Feb 12, 2022
  10

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

  awakesecurity/spectacle#43 · Filter by author ixmatus opened on Feb 7, 2022

• Use Managed monad in CLI

  enhancement
  awakesecurity/spectacle#42 · Filter by author riz0id opened on Feb 3, 2022
  1