aronisstav / erlang-concurrency-litmus-tests Public

Notifications You must be signed in to change notification settings
Fork 0
Star 4

A repository of "litmus" tests showing the interaction between Erlang's built-in operations.

GPL-3.0 license

4 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 56 Commits
.travis		.travis
headers		headers
litmus		litmus
priv		priv
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md

Repository files navigation

erlang-concurrency-litmus-tests

A repository of "litmus" tests showing the interaction between Erlang's built-in operations.

Organization

Litmus tests are located in the directories under litmus.
Guidelines for writing tests are given in the headers directory.

About

A repository of "litmus" tests showing the interaction between Erlang's built-in operations.

erlang litmus-test

GPL-3.0 license

Report repository

Releases

Packages

No packages published

Languages