Skip to content

Issues: parapluu/Concuerror

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
16 Open 123 Closed
16 Open 123 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Missing tutorial on optimizing the number of interleavings / analysis speed
#319 by essen was closed Oct 17, 2020
3
Concuerror stuck at ets:delete/2 call and others
#314 by essen was closed Jun 16, 2020
10
erts_internal:map_next/3 not supported
#313 by essen was closed Jun 16, 2020
7
OTP-23: Concuerror crashed
#312 by essen was closed Oct 17, 2020
11
Reordering of monitors causes problems with Concuerror
#292 by dszoboszlay was closed Oct 28, 2018
1
1
Tests may fail due to "A process (...) did not respond to a control signal. Ensure that there are no infinite loops in your test." bug Issues where the tool is not behaving according to expectations.
#291 by aronisstav was closed Nov 2, 2018
Describe API
#273 by aronisstav was closed Jul 15, 2018 1.0.0
1
Add support and tests for new BIF ets:internal_delete_all/2 help wanted Issues that anyone could start working on. An invitation to the community.
#260 by kostis was closed Jul 11, 2018
Links to CONTRIBUTING section in the Issue template are broken maintenance Issues that affect developers and not users of Concuerror.
#257 by aronisstav was closed Jul 9, 2018
1
concuerror.erl is missing from Coverage reports maintenance Issues that affect developers and not users of Concuerror.
#256 by aronisstav was closed Jul 11, 2018
1
Coverage of time estimator functions is jittery maintenance Issues that affect developers and not users of Concuerror.
#254 by aronisstav was closed May 29, 2018
1
erlang:get_stacktrace/0: deprecated in OTP 21 bug Issues where the tool is not behaving according to expectations.
#245 by aronisstav was closed May 24, 2018
Heisen-failing bounding test
#224 by aronisstav was closed May 23, 2018
1
Add rebar3 support feature Suggestions for new features or improvements on existing ones. help wanted Issues that anyone could start working on. An invitation to the community.
#220 by aronisstav was closed May 23, 2018
13
unsupported_process_info
#218 by massemanet was closed Mar 15, 2018
1
maybe non-racing
#217 by massemanet was closed Mar 15, 2018
Add guidelines for contributors maintenance Issues that affect developers and not users of Concuerror.
#211 by aronisstav was closed Mar 21, 2018 1.0.0
code:purge not supported
#208 by massemanet was closed Mar 12, 2018
5
Change the "exploration tree" output to a more semantic form feature Suggestions for new features or improvements on existing ones. maintenance Issues that affect developers and not users of Concuerror.
#206 by aronisstav was closed Apr 23, 2018 1.0.0
1
--show_races values should be 'all', 'error' and 'false'
#200 by aronisstav was closed Feb 21, 2018
1
Add support for erlang:process_info(_, current_stacktrace) bug Issues where the tool is not behaving according to expectations.
#198 by aronisstav was closed Feb 21, 2018
{error,bad_directory} in concuerror_loader:setup_sticky_directories/0 bug Issues where the tool is not behaving according to expectations.
#195 by aronisstav was closed Mar 2, 2018
1
Testing a program compiled with a -D option and no debug_info changes the program bug Issues where the tool is not behaving according to expectations.
#194 by aronisstav was closed Mar 5, 2018
Fix waffle badge
#186 by aronisstav was closed Oct 13, 2017
Differentiate between 'instrumentation time' and 'maybe infinite loop timeout' bug Issues where the tool is not behaving according to expectations.
#185 by aronisstav was closed Mar 7, 2018 1.0.0
ProTip! Exclude everything labeled bug with -label:bug.