concuerror

v0.21.0

Concuerror: Stateless Model Checking tool for Erlang programs

HexDocs HexPreview

Current section

1 Dependency

Jump to

Readme 2 Versions 1 Dependency 0 Dependants Activity

Dependencies of concuerror

1 dependency

Package	Requirement	Status
getopt	1.0.1

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

410

yesterday

0

last 7 days

0

all time

1 077

Last Updated

Oct 31, 2020

License

BSD-2-Clause

Build Tools

rebar3

Publisher

Links

Owners

aronisstav