Concuerror
No description available
Install / Use
/learn @mariachris/ConcuerrorREADME
Attention!
This is an old version of Concuerror. The actively maintained version is now hosted at https://github.com/parapluu/Concuerror.
Concuerror
Concuerror is a systematic testing tool for concurrent Erlang programs.
Copyright and License
Copyright (c) 2011-2012,
Alkis Gotovos (el3ctrologos@hotmail.com),
Maria Christakis (mchrista@softlab.ntua.gr) and
Kostis Sagonas (kostis@cs.ntua.gr).
All rights reserved.
Concuerror is distributed under the Simplified BSD License.
Details can be found in the LICENSE file.
Howto
- Build Concuerror :
make - Run Concuerror :
concuerror --help - Run Concuerror GUI :
concuerror --gui - Run testsuite :
make THREADS=4 test - Run unit tests :
make utest - Dialyze :
make dialyze - Cleanup :
make clean
Related Skills
node-connect
347.2kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
108.0kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
347.2kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
347.2kQQBot 富媒体收发能力。使用 <qqmedia> 标签，系统根据文件扩展名自动识别类型（图片/语音/视频/文件）。
