parapluu/Concuerror

Issues

• `replaying a built-in returned a different result than expected` when a process is restarted

  #360 opened 4 months ago by thalesmg
  3

• Concuerror assumes instant delivery of {'DOWN', _Mref, ..., noproc} message

  #354 opened a year ago by ieQu1
  2

• Capture result as an Erlang terms (tuple/list) instead of outputting text to terminal

  #300 opened 6 years ago by hauleth
  3

• In memory modules aren't supported

  #299 opened 6 years ago by hauleth
  9

• Add support for atomics and counters (new BIFs officially available in OTP 22)

  #302 opened 5 years ago by aronisstav
  2

• Create an API for storing user data in the Concuerror state

  #334 opened 3 years ago by k32
  2

• Missing support for the new alias mechanism

  #326 opened 3 years ago by aronisstav
  0

• Missing tutorial on optimizing the number of interleavings / analysis speed

  #319 opened 4 years ago by essen
  3

• OTP-23: Concuerror crashed

  #312 opened 4 years ago by essen
  11

• erts_internal:map_next/3 not supported

  #313 opened 4 years ago by essen
  7

• Concuerror stuck at ets:delete/2 call and others

  #314 opened 4 years ago by essen
  10

• Drop support for Erlang/OTP 20.3 and earlier

  #316 opened 4 years ago by aronisstav
  0

• Don't use erlang:get_stacktrace/0 in OTP >= 21

  #315 opened 4 years ago by mikpe
  2

• Add autocompletion for options

  #159 opened 4 years ago by aronisstav
  0

• Concuerror internal error "replaying a built-in returned a different result than expected"

  #309 opened 4 years ago by bford
  1

• Semantics of EXIT message delivery is broken.

  #303 opened 5 years ago by aartamonau
  1

• Introduce an option similar to --after-timeout for timers

  #298 opened 6 years ago by dszoboszlay
  6

• Tests may fail due to "A process (...) did not respond to a control signal. Ensure that there are no infinite loops in your test."

  #291 opened 6 years ago by aronisstav
  0

• Support common test suites using ct_slave

  #153 opened 6 years ago by lrascao
  4

• Reordering of monitors causes problems with Concuerror

  #292 opened 6 years ago by dszoboszlay
  1

• Describe API

  #273 opened 6 years ago by aronisstav
  1

• concuerror.erl is missing from Coverage reports

  #256 opened 6 years ago by aronisstav
  1

• Add support and tests for new BIF `ets:internal_delete_all/2`

  #260 opened 6 years ago by kostis
  0

• Links to CONTRIBUTING section in the Issue template are broken

  #257 opened 6 years ago by aronisstav
  1

• Coverage of time estimator functions is jittery

  #254 opened 6 years ago by aronisstav
  1

• erlang:get_stacktrace/0: deprecated in OTP 21

  #245 opened 6 years ago by aronisstav
  0

• Heisen-failing bounding test

  #224 opened 6 years ago by aronisstav
  1

• Add rebar3 support

  #220 opened 6 years ago by aronisstav
  13

• Change the "exploration tree" output to a more semantic form

  #206 opened 6 years ago by aronisstav
  1

• Add guidelines for contributors

  #211 opened 6 years ago by aronisstav
  0

• maybe non-racing

  #217 opened 6 years ago by massemanet
  0

• unsupported_process_info

  #218 opened 6 years ago by massemanet
  1

• code:purge not supported

  #208 opened 6 years ago by massemanet
  5

• Add mocking support

  #197 opened 6 years ago by aronisstav
  0

• Automatically generate the graph image from .dot file

  #162 opened 6 years ago by aronisstav
  1

• Break down tests-real/suites/options/*

  #205 opened 6 years ago by aronisstav
  0

• Differentiate between 'instrumentation time' and 'maybe infinite loop timeout'

  #185 opened 6 years ago by aronisstav
  0

• Testing a program compiled with a `-D` option and no debug_info changes the program

  #194 opened 6 years ago by aronisstav
  0

• {error,bad_directory} in concuerror_loader:setup_sticky_directories/0

  #195 opened 6 years ago by aronisstav
  1

• Investigate +native and THREADS = 2 on Travis

  #168 opened 6 years ago by aronisstav
  2

• Experiment with TransDPOR

  #172 opened 6 years ago by aronisstav
  1

• --show_races values should be 'all', 'error' and 'false'

  #200 opened 6 years ago by aronisstav
  1

• Add support for erlang:process_info(_, current_stacktrace)

  #198 opened 6 years ago by aronisstav
  0

• Fix using receive patterns for optimal DPOR

  #154 opened 7 years ago by aronisstav
  0

• Fix waffle badge

  #186 opened 7 years ago by aronisstav
  0

• Black boxes in the DOT graphs

  #171 opened 7 years ago by tamarit
  2

• Improve Publications page

  #161 opened 7 years ago by aronisstav
  1

• Option to exclude modules from instrumentation

  #163 opened 7 years ago by aronisstav
  0

• proc_lib in Erlang 20 needs more from proc process_info

  #157 opened 7 years ago by aronisstav
  0

• Add "option discovery" hint for increasing print depth

  #152 opened 7 years ago by aronisstav
  0