Skip to content
This repository has been archived by the owner on Jun 18, 2021. It is now read-only.

Issues: advancedtelematic/quickcheck-state-machine

28 Open 55 Closed
28 Open 55 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Lower bound on text in latest revision
#371 opened Aug 25, 2020 by mrBliss
1
Event as defined in Labelling is misleading
#369 opened Jun 8, 2020 by edsko
1
Mock mismatch with semantics
#368 opened Jun 4, 2020 by luntain
1
Fix CI
#356 opened Sep 9, 2019 by stevana
2
Convenient way for manually writing examples
#347 opened Aug 15, 2019 by edsko
5
Use Dot drawing for sequential programs
#342 opened Jul 24, 2019 by kderme
Add pretty print for CounterExample and improve test output
#340 opened Jul 22, 2019 by kderme
1
Improve garbage-collection/cleaning-up discussion enhancement
#335 opened Jul 17, 2019 by kderme
20
Property Result in case of exceptions
#326 opened Jul 1, 2019 by kderme
8
shrinking optimizations discussion enhancement
#321 opened Jun 17, 2019 by kderme
5
Use dot for visualization of counter examples
#316 opened Jun 11, 2019 by kderme
13
Collect wall time of executing actions
#278 opened Feb 27, 2019 by stevana
Meta-property that checks that any result of shrinking should be possible to generate discussion enhancement
#264 opened Jan 10, 2019 by stevana
Simplify/unify generic code (CommandNames, GBounded, Rank2)
#260 opened Jan 7, 2019 by stevana
1
Don't use ioProperty in the Spec module as it disables shrinking low-hanging-fruit
#240 opened Nov 1, 2018 by stevana
Make Hackage releases on tag pushs via Travis task
#239 opened Nov 1, 2018 by stevana
Testing asynchronous APIs
#208 opened Mar 21, 2018 by stevana
3
Make equality of Reference independent of the contents
#203 opened Feb 18, 2018 by Lysxia
3
Towards liveness and fairness guarantees
#201 opened Jan 30, 2018 by stevana
Make the notion of valid parallel programs less strict enhancement
#190 opened Dec 12, 2017 by stevana
Towards refinement discussion
#179 opened Oct 13, 2017 by stevana
2
Towards the possibility of mocking parts of the system under test
#177 opened Oct 12, 2017 by stevana
2
Towards Jepsen-like tests
#162 opened Oct 3, 2017 by stevana
7
Improving the linearisability checker
#120 opened Jun 20, 2017 by stevana
3
Improve the possibilities of collecting stats enhancement low-hanging-fruit
#89 opened May 31, 2017 by stevana
4
ProTip! Exclude everything labeled bug with -label:bug.