https://github.com/simonhdickson/queue-prop-example

Example using model based testing in rust with quickcheck
https://github.com/simonhdickson/queue-prop-example

Last synced: 26 days ago
JSON representation

Example using model based testing in rust with quickcheck

• Host: GitHub
• URL: https://github.com/simonhdickson/queue-prop-example
• Owner: simonhdickson
• License: mit
• Created: 2018-06-03T10:57:59.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2022-06-06T21:20:30.000Z (about 4 years ago)
• Last Synced: 2025-12-26T21:49:25.066Z (6 months ago)
• Language: Rust
• Size: 11.7 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: readme.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Queue Model Testing Example in Rust

## Introduction

This is an example of a model based test framework implemented in Rust.

## Running

```bash

cargo test

```

The tests should fail with a list of commands that violate our test model,

see if you can use the output to figure out what's wrong.