advancedtelematic quickcheck-state-machine issues

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models

Other

203 stars 25 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add ouroboros-network to list of examples. [skip ci]

#272 stevana closed 5 years ago
0
Refactor/remove old shrink pair

#271 stevana closed 5 years ago
0
Add min bound for pretty-print.

#270 stevana closed 5 years ago
0
Feat/markev chain 2

#269 rdanitz closed 5 years ago
0
Prepare for v0.6.0 release.

#268 stevana closed 5 years ago
3
We don't support GHC 8.0.* or older, so we need base >= 4.10.

#267 stevana closed 5 years ago
0
Disable DCO for organisation members.

#266 stevana closed 5 years ago
0
Extensible notion of commands

#265 stevana closed 5 years ago
1
Meta-property that checks that any result of shrinking should be possible to generate

#264 stevana opened 5 years ago
0
WIP: Generalize shrinking

#263 edsko closed 5 years ago
32
Make model available to shrinker

#262 edsko closed 5 years ago
3
Change to lts-13, add lts-13 and ghc 8.6.3 to Travis and fix warnings.

#261 stevana closed 5 years ago
0
Simplify/unify generic code (CommandNames, GBounded, Rank2)

#260 stevana opened 5 years ago
1
Generalize GConName

#259 edsko closed 5 years ago
17
Remove unused import. [skip ci]

#258 stevana closed 5 years ago
0
Prepare for v0.5.0 release. [skip ci]

#257 stevana closed 5 years ago
3
Allow the generation of commands to stop

#256 mrBliss closed 5 years ago
0
Fix important bug in shrinking

#255 edsko closed 5 years ago
6
Gracefully stop when no precondition holds

#254 mrBliss closed 5 years ago
5
Add a stopcondition to StateMachine

#253 mrBliss closed 5 years ago
1
Replace MonadBaseControl IO with MonadUnliftIO

#252 mrBliss closed 5 years ago
2
Check pre-condition as part of execution.

#251 stevana closed 5 years ago
0
Prepare for 0.4.3 release.

#250 stevana closed 5 years ago
0
Add old QuickCheck cover combinator (see issue #248 for details).

#249 stevana closed 5 years ago
0
Support QuickCheck 2.12

#248 kderme closed 5 years ago
3
tame -Wstar-is-type and prepare for ghc 8.6

#247 kderme closed 5 years ago
1
Use only Concrete abstraction (remove Symbolic abstraction) ?

#246 akegalj closed 5 years ago
3
Add link to TLA+ formalisation of Linearisability paper. [ci skip]

#245 stevana closed 5 years ago
0
Sometimes there can be multiple counterexamples in a parallel property.

#244 stevana closed 5 years ago
0
Use new compact diffing of records from tree-diff library.

#243 stevana closed 5 years ago
0
Feat/markov chain

#242 stevana closed 5 years ago
3
Rename `elem` and `notElem` in Logic module to avoid name clash with Prelude

#241 stevana closed 5 years ago
2
Don't use `ioProperty` in the Spec module as it disables shrinking

#240 stevana opened 5 years ago
0
Make Hackage releases on tag pushs via Travis

#239 stevana opened 5 years ago
0
Exception: "makeOperations: impossible." sometimes thrown

#238 akegalj closed 5 years ago
7
Explain mock better in the README.

#237 stevana closed 5 years ago
0
What should mock be used for

#236 akegalj closed 5 years ago
5
Add upper bound on QuickCheck dependency.

#235 stevana closed 5 years ago
0
Handle exceptions more gracefully.

#234 stevana closed 5 years ago
0
Hide the stdout from `docker version` in the spec module.

#233 stevana closed 5 years ago
0
Try the -j1 flag to stop travis from running out of memory.

#232 stevana closed 6 years ago
0
Show counterexample when parallel property fails.

#231 stevana closed 6 years ago
0
Prepare for 0.4.2 release.

#230 stevana closed 6 years ago
0
Fix tests on systems without docker.

#229 stevana closed 6 years ago
0
Remove unused dependencies spotted by the weeder tool.

#228 stevana closed 6 years ago
0
Prepare for 0.4.1 release.

#227 stevana closed 6 years ago
0
Only run the webserver tests if docker is available.

#226 stevana closed 6 years ago
0
Revert async lifted safe change...

#225 stevana closed 6 years ago
0
Tweak fixities of Z/Logic operators.

#224 stevana closed 6 years ago
0
Disable webserver tests for now.

#223 stevana closed 6 years ago
0

Previous Next