Issues

• Lower bound on text in latest revision

  advancedtelematic/quickcheck-state-machine#371 · Filter by author mrBliss opened on Aug 25, 2020
  1

• Event as defined in Labelling is misleading

  advancedtelematic/quickcheck-state-machine#369 · Filter by author edsko opened on Jun 8, 2020
  1

• Mock mismatch with semantics

  advancedtelematic/quickcheck-state-machine#368 · Filter by author luntain opened on Jun 4, 2020
  1

• Fix CI

  advancedtelematic/quickcheck-state-machine#356 · Filter by author stevana opened on Sep 9, 2019
  2

• Convenient way for manually writing examples

  advancedtelematic/quickcheck-state-machine#347 · Filter by author edsko opened on Aug 15, 2019
  5

• Use Dot drawing for sequential programs

  advancedtelematic/quickcheck-state-machine#342 · Filter by author kderme opened on Jul 24, 2019

• Add pretty print for CounterExample and improve test output

  advancedtelematic/quickcheck-state-machine#340 · Filter by author kderme opened on Jul 22, 2019
  1

• Improve garbage-collection/cleaning-up

  discussionenhancement
  advancedtelematic/quickcheck-state-machine#335 · Filter by author kderme opened on Jul 17, 2019
  20

• Property Result in case of exceptions

  advancedtelematic/quickcheck-state-machine#326 · Filter by author kderme opened on Jul 1, 2019
  8

• shrinking optimizations

  discussionenhancement
  advancedtelematic/quickcheck-state-machine#321 · Filter by author kderme opened on Jun 17, 2019
  5

• Use dot for visualization of counter examples

  advancedtelematic/quickcheck-state-machine#316 · Filter by author kderme opened on Jun 11, 2019
  13

• Collect wall time of executing actions

  advancedtelematic/quickcheck-state-machine#278 · Filter by author stevana opened on Feb 27, 2019

• Meta-property that checks that any result of shrinking should be possible to generate

  discussionenhancement
  advancedtelematic/quickcheck-state-machine#264 · Filter by author stevana opened on Jan 10, 2019

• Simplify/unify generic code (CommandNames, GBounded, Rank2)

  advancedtelematic/quickcheck-state-machine#260 · Filter by author stevana opened on Jan 7, 2019
  1

• Don't use ioProperty in the Spec module as it disables shrinking

  low-hanging-fruit
  advancedtelematic/quickcheck-state-machine#240 · Filter by author stevana opened on Nov 1, 2018

• Make Hackage releases on tag pushs via Travis

  task
  advancedtelematic/quickcheck-state-machine#239 · Filter by author stevana opened on Nov 1, 2018

• Testing asynchronous APIs

  advancedtelematic/quickcheck-state-machine#208 · Filter by author stevana opened on Mar 21, 2018
  3

• Make equality of Reference independent of the contents

  advancedtelematic/quickcheck-state-machine#203 · Filter by author Lysxia opened on Feb 18, 2018
  3

• Towards liveness and fairness guarantees

  advancedtelematic/quickcheck-state-machine#201 · Filter by author stevana opened on Jan 30, 2018

• Make the notion of valid parallel programs less strict

  enhancement
  advancedtelematic/quickcheck-state-machine#190 · Filter by author stevana opened on Dec 12, 2017

• Towards refinement

  discussion
  advancedtelematic/quickcheck-state-machine#179 · Filter by author stevana opened on Oct 13, 2017
  2

• Towards the possibility of mocking parts of the system under test

  advancedtelematic/quickcheck-state-machine#177 · Filter by author stevana opened on Oct 12, 2017
  2

• Towards Jepsen-like tests

  advancedtelematic/quickcheck-state-machine#162 · Filter by author stevana opened on Oct 3, 2017
  7

• Improving the linearisability checker

  advancedtelematic/quickcheck-state-machine#120 · Filter by author stevana opened on Jun 20, 2017
  3

• Improve the possibilities of collecting stats

  enhancementlow-hanging-fruit
  advancedtelematic/quickcheck-state-machine#89 · Filter by author stevana opened on May 31, 2017
  4