Search results

Overloard imports runtime on godocs

Status: Open.

#28 In DARA-Project/GoDist-Scheduler;

· Julian-Mentasti opened on Dec 8, 2020

Dgo test issues

Status: Open.

#27 In DARA-Project/GoDist-Scheduler;

· Julian-Mentasti opened on Nov 3, 2020

Re-instrumenting a file will lead to duplicate block coverage

Status: Open.

#26 In DARA-Project/GoDist-Scheduler;

· Julian-Mentasti opened on Oct 30, 2020

Race Condition: examples/ServerClient/run.sh

Status: Open.

#25 In DARA-Project/GoDist-Scheduler;

· Haximilian opened on Oct 30, 2020

Expose metadata about goroutines and processes for property checking

Status: Open.

#21 In DARA-Project/GoDist-Scheduler;

· vaastav opened on Jun 10, 2020

Document 2440 Unsupported code to indicate we can't capture the value of this type

Status: Open.

#18 In DARA-Project/GoDist-Scheduler;

· vaastav opened on Jan 28, 2019

Add tests with GOMAXPROCS to verfiy pre-emption property

Status: Open.

#16 In DARA-Project/GoDist-Scheduler;

· vaastav opened on Jan 28, 2019

Add tests to compare dgo behavior to go behavior for concurrent progs

Status: Open.

#15 In DARA-Project/GoDist-Scheduler;

· vaastav opened on Jan 28, 2019

Document true level of replay

Status: Open.

#13 In DARA-Project/GoDist-Scheduler;

· vaastav opened on Jan 28, 2019

Document the role of DARAPID and how it is set and used

Status: Open.

#9 In DARA-Project/GoDist-Scheduler;

· vaastav opened on Jan 28, 2019

Add documentation to report that enviornments must match for Record/Replay

Status: Open.

#7 In DARA-Project/GoDist-Scheduler;

· vaastav opened on Jan 28, 2019

Document GOMAXPROCS and Go Pre-emption

Status: Open.

#6 In DARA-Project/GoDist-Scheduler;

· vaastav opened on Jan 28, 2019