NetSys/demi

Issues

• Regression in RandomScheduler / fuzz testing

  #113 opened 8 years ago by colin-scott
  0

• Another, different crash in DPORwHeuristics

  #86 opened 9 years ago by colin-scott
  1

• RejectedExecutionException

  #101 opened 9 years ago by colin-scott
  1

• RecomputeExternalEvents crash

  #100 opened 9 years ago by colin-scott
  0

• RandomScheduler crash: Value does not exist [findNonBlockedDestination?]

  #95 opened 9 years ago by colin-scott
  0

• RandomScheduler crash

  #81 opened 9 years ago by colin-scott
  1

• Extraneous NodeReachable message?

  #14 opened 9 years ago by colin-scott
  0

• crash: not all shrinkable_sends the same, branch: akka-raft

  #91 opened 9 years ago by colin-scott
  1

• Crash in DPORwHeuristics

  #85 opened 9 years ago by colin-scott
  0

• DPORwHeuristics + Non-determinsm causes unexpected paths

  #83 opened 9 years ago by colin-scott
  0

• AtomicEvents crash

  #82 opened 9 years ago by colin-scott
  0

• Proposal: Log Message Sink

  #20 opened 9 years ago by colin-scott
  0

• Are we sure that the execution is serialized?

  #15 opened 10 years ago by colin-scott
  1