advancedtelematic/quickcheck-state-machine

Issues

• Lower bound on text in latest revision

  #371 opened 4 years ago by mrBliss
  1

• Read instance for Commands

  #370 opened 4 years ago by Tarmean
  2

• Event as defined in Labelling is misleading

  #369 opened 4 years ago by edsko
  1

• Mock mismatch with semantics

  #368 opened 4 years ago by luntain
  1

• Use a generator to init models

  #367 opened 5 years ago by mikesol
  4

• Testing asynchronous APIs

  #208 opened 7 years ago by stevana
  3

• New Release?

  #363 opened 5 years ago by kderme
  3

• Towards Jepsen-like tests

  #162 opened 7 years ago by stevana
  7

• Convenient way for manually writing examples

  #347 opened 5 years ago by edsko
  5

• Fix CI

  #356 opened 5 years ago by stevana
  2

• Drop lts-11 and add lts-14 to Travis CI

  #351 opened 5 years ago by stevana
  5

• Use dot for visualization of counter examples

  #316 opened 5 years ago by kderme
  13

• Improve garbage-collection/cleaning-up

  #335 opened 5 years ago by kderme
  20

• Use Dot drawing for sequential programs

  #342 opened 5 years ago by kderme
  0

• Towards refinement

  #179 opened 7 years ago by stevana
  2

• Add pretty print for CounterExample and improve test output

  #340 opened 5 years ago by kderme
  1

• Fix CI

  #327 opened 5 years ago by stevana
  15

• Property Result in case of exceptions

  #326 opened 5 years ago by kderme
  8

• shrinking optimizations

  #321 opened 5 years ago by kderme
  5

• simplify: impossible, because of the structure of linearise

  #318 opened 5 years ago by kderme
  2

• Exception while generating shrink-list

  #302 opened 5 years ago by stevana
  0

• simplify: impossible, because of the structure of linearise.

  #311 opened 5 years ago by o1lo01ol1o
  7

• `forAllCommands` generating fewer commands than expected

  #299 opened 6 years ago by m-alvarez
  3

• Getting hold of the abstract state after generating commands

  #287 opened 6 years ago by m-alvarez
  4

• Collect wall time of executing actions

  #278 opened 6 years ago by stevana
  0

• Rename `elem` and `notElem` in Logic module to avoid name clash with Prelude

  #241 opened 6 years ago by stevana
  2

• Extensible notion of commands

  #265 opened 6 years ago by stevana
  1

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

  #240 opened 6 years ago by stevana
  0

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

  #177 opened 7 years ago by stevana
  2

• Make model available to shrinker

  #262 opened 6 years ago by edsko
  3

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

  #264 opened 6 years ago by stevana
  0

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

  #260 opened 6 years ago by stevana
  1

• Support QuickCheck 2.12

  #248 opened 6 years ago by kderme
  3

• Use only Concrete abstraction (remove Symbolic abstraction) ?

  #246 opened 6 years ago by akegalj
  3

• Make Hackage releases on tag pushs via Travis

  #239 opened 6 years ago by stevana
  0

• Exception: "makeOperations: impossible." sometimes thrown

  #238 opened 6 years ago by akegalj
  7

• What should mock be used for

  #236 opened 6 years ago by akegalj
  5

• quickcheck-state-machine-0.4.0 test suite failure

  #222 opened 6 years ago by DanBurton
  1

• Question: echo model behaving in an unexpected way

  #218 opened 6 years ago by dnadales
  13

• Make equality of `Reference` independent of the contents

  #203 opened 7 years ago by Lysxia
  3

• Factor out hfunctor and friends into its own package

  #170 opened 6 years ago by stevana
  12

• Towards a EDSL for defining concise models

  #172 opened 6 years ago by stevana
  5

• Less boilerplate when defining generators

  #178 opened 6 years ago by stevana
  2

• Show instance for Internal has "Untyped" as part of the output

  #196 opened 6 years ago by stevana
  2

• Actions that return two references can't be expressed

  #197 opened 6 years ago by stevana
  2

• Add a support for global invariants

  #200 opened 6 years ago by stevana
  1

• Towards liveness and fairness guarantees

  #201 opened 7 years ago by stevana
  0

• Make the notion of valid parallel programs less strict

  #190 opened 7 years ago by stevana
  0

• bracketP doesn't work

  #159 opened 7 years ago by Lysxia
  8

• Show instances produce invalid expressions.

  #157 opened 7 years ago by stevana
  2