├── .dir-locals.el ├── .gitignore ├── COFFEE_LEVELS.md ├── ChangeLog.md ├── LICENCE ├── Lens_Cheatsheet.md ├── Other_Languages.md ├── README.md ├── Setup.hs ├── default.nix ├── dev.ghci ├── level00 ├── ExampleModelProperties.hs ├── Main.hs ├── MyBTree.hs ├── PropertyTests.hs └── README.md ├── level01 ├── CoffeeMachineTests.hs ├── Main.hs └── README.md ├── level02 ├── CoffeeMachineTests.hs ├── Main.hs └── README.md ├── level03 ├── CoffeeMachineTests.hs ├── Main.hs └── README.md ├── level04 ├── CoffeeMachineTests.hs ├── Main.hs └── README.md ├── level05 ├── CoffeeMachineTests.hs ├── Main.hs └── README.md ├── level06 ├── CoffeeMachineTests.hs ├── Main.hs └── README.md ├── nix ├── nixpkgs.json └── nixpkgs.nix ├── presentation ├── dots │ ├── coffee_mach.dot │ ├── mach.dot │ ├── mach_states.dot │ └── mach_transitions.dot ├── images │ ├── mach.png │ ├── mach_states.png │ └── mach_transitions.png ├── talk.html ├── talk.org ├── workshop.html └── workshop.org ├── shell.nix ├── src └── CoffeeMachine.hs ├── state-machine-testing-course.cabal └── state-machine-testing-course.nix /.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/.dir-locals.el -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/.gitignore -------------------------------------------------------------------------------- /COFFEE_LEVELS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/COFFEE_LEVELS.md -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/ChangeLog.md -------------------------------------------------------------------------------- /LICENCE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/LICENCE -------------------------------------------------------------------------------- /Lens_Cheatsheet.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/Lens_Cheatsheet.md -------------------------------------------------------------------------------- /Other_Languages.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/Other_Languages.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/default.nix -------------------------------------------------------------------------------- /dev.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/dev.ghci -------------------------------------------------------------------------------- /level00/ExampleModelProperties.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level00/ExampleModelProperties.hs -------------------------------------------------------------------------------- /level00/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level00/Main.hs -------------------------------------------------------------------------------- /level00/MyBTree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level00/MyBTree.hs -------------------------------------------------------------------------------- /level00/PropertyTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level00/PropertyTests.hs -------------------------------------------------------------------------------- /level00/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level00/README.md -------------------------------------------------------------------------------- /level01/CoffeeMachineTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level01/CoffeeMachineTests.hs -------------------------------------------------------------------------------- /level01/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level01/Main.hs -------------------------------------------------------------------------------- /level01/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level01/README.md -------------------------------------------------------------------------------- /level02/CoffeeMachineTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level02/CoffeeMachineTests.hs -------------------------------------------------------------------------------- /level02/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level02/Main.hs -------------------------------------------------------------------------------- /level02/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level02/README.md -------------------------------------------------------------------------------- /level03/CoffeeMachineTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level03/CoffeeMachineTests.hs -------------------------------------------------------------------------------- /level03/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level03/Main.hs -------------------------------------------------------------------------------- /level03/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level03/README.md -------------------------------------------------------------------------------- /level04/CoffeeMachineTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level04/CoffeeMachineTests.hs -------------------------------------------------------------------------------- /level04/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level04/Main.hs -------------------------------------------------------------------------------- /level04/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level04/README.md -------------------------------------------------------------------------------- /level05/CoffeeMachineTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level05/CoffeeMachineTests.hs -------------------------------------------------------------------------------- /level05/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level05/Main.hs -------------------------------------------------------------------------------- /level05/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level05/README.md -------------------------------------------------------------------------------- /level06/CoffeeMachineTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level06/CoffeeMachineTests.hs -------------------------------------------------------------------------------- /level06/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level06/Main.hs -------------------------------------------------------------------------------- /level06/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/level06/README.md -------------------------------------------------------------------------------- /nix/nixpkgs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/nix/nixpkgs.json -------------------------------------------------------------------------------- /nix/nixpkgs.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/nix/nixpkgs.nix -------------------------------------------------------------------------------- /presentation/dots/coffee_mach.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/dots/coffee_mach.dot -------------------------------------------------------------------------------- /presentation/dots/mach.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/dots/mach.dot -------------------------------------------------------------------------------- /presentation/dots/mach_states.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/dots/mach_states.dot -------------------------------------------------------------------------------- /presentation/dots/mach_transitions.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/dots/mach_transitions.dot -------------------------------------------------------------------------------- /presentation/images/mach.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/images/mach.png -------------------------------------------------------------------------------- /presentation/images/mach_states.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/images/mach_states.png -------------------------------------------------------------------------------- /presentation/images/mach_transitions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/images/mach_transitions.png -------------------------------------------------------------------------------- /presentation/talk.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/talk.html -------------------------------------------------------------------------------- /presentation/talk.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/talk.org -------------------------------------------------------------------------------- /presentation/workshop.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/workshop.html -------------------------------------------------------------------------------- /presentation/workshop.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/presentation/workshop.org -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/shell.nix -------------------------------------------------------------------------------- /src/CoffeeMachine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/src/CoffeeMachine.hs -------------------------------------------------------------------------------- /state-machine-testing-course.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/state-machine-testing-course.cabal -------------------------------------------------------------------------------- /state-machine-testing-course.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/qfpl/state-machine-testing-course/HEAD/state-machine-testing-course.nix --------------------------------------------------------------------------------