concuerror 0.21.0+gitX

Name concuerror
Version 0.21.0+gitX (cbc5200e0b43bcef54a84d19000c5b945a50be59)
Summary Concuerror is a stateless model checking tool for Erlang programs
Description Concuerror is a stateless model checking tool for Erlang programs. It can be used to systematically test programs for concurrency errors, detect and report errors that only occur on few, specific schedulings or verify their absence.
Section base
License BSD-2-Clause
Homepage
Recipe file recipes-devtools/concuerror/concuerror_git.bb
Layer meta-erlang (scarthgap branch)
Inherits
  • erlang
  • pkgconfig
  • rebar3
Dependencies
  • erlang
  • erlang-native
  • gawk-native
  • pkgconfig-native
  • rebar3-native
  • virtual/i686-oe-linux-compilerlibs
  • virtual/i686-oe-linux-gcc
  • virtual/libc
PACKAGECONFIG options

Sources

git://github.com/parapluu/Concuerror.git

Patches

None

Other branches

This recipe in other branches of meta-erlang:

Branch Recipe
master concuerror 0.21.0+gitX
scarthgap (Yocto Project 5.0) concuerror 0.21.0+gitX (this recipe)