Search results

Regression in RandomScheduler / fuzz testing

Status: Open.

#113 In NetSys/demi;

· colin-scott opened on Mar 14, 2016

RejectedExecutionException

Status: Open.

#101 In NetSys/demi;

· colin-scott opened on Aug 5, 2015

RecomputeExternalEvents crash

Status: Open.

#100 In NetSys/demi;

· colin-scott opened on Jul 31, 2015

RandomScheduler crash: Value does not exist [findNonBlockedDestination?]

Status: Open.

#95 In NetSys/demi;

· colin-scott opened on Jun 29, 2015

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

Status: Open.

#91 In NetSys/demi;

· colin-scott opened on May 20, 2015

Another, different crash in DPORwHeuristics

Status: Open.

#86 In NetSys/demi;

· colin-scott opened on Apr 2, 2015

Crash in DPORwHeuristics

Status: Open.

#85 In NetSys/demi;

· colin-scott opened on Apr 2, 2015

DPORwHeuristics + Non-determinsm causes unexpected paths

Status: Open.

#83 In NetSys/demi;

· colin-scott opened on Mar 27, 2015

AtomicEvents crash

Status: Open.

#82 In NetSys/demi;

· colin-scott opened on Mar 27, 2015

RandomScheduler crash

Status: Open.

#81 In NetSys/demi;

· colin-scott opened on Mar 27, 2015