Visitar URL original
GitHub - keathley/redix_model: Basic model checking example with redis and propcheck · GitHub
Skip to content

About

Basic model checking example with redis and propcheck

Resources

Stars

0 stars

Watchers

1 watching

Forks

Latest commit

 

History

2 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

RedixModel

This is an example of how to write StateM test with Proper. It tests Redix by running GET and SET commands.

Running:

The test assumes you have a redis server running locally on the default port.

$ mix deps.get
$ mix test

About

Basic model checking example with redis and propcheck

Resources

Stars

0 stars

Watchers

1 watching

Forks

Releases

Packages

Contributors

Languages