concuerror 0.20.0

Concuerror: Stateless Model Checking tool for Erlang programs

Links

License

BSD-2-Clause
  • 356 356
    downloads
    this version
  • 4 4
    downloads
    yesterday
  • 4 4
    downloads
    last 7 days
  • 356 356
    downloads
    all time

Versions (1)

Dependencies (1)

Audit Logs

  • 2018-07-15 Publish documentation for release 0.20.0
  • 2018-07-15 Publish release 0.20.0

Config

mix.exs
rebar.config
erlang.mk

Checksum

Build Tools

rebar3

Owners

Publisher

aronisstav

Dependents (0)