Issues

• Overloard imports runtime on godocs

  DARA-Project/GoDist-Scheduler#28 · Filter by author Julian-Mentasti opened on Dec 8, 2020

• Dgo test issues

  DARA-Project/GoDist-Scheduler#27 · Filter by author Julian-Mentasti opened on Nov 3, 2020
  3

  

• Re-instrumenting a file will lead to duplicate block coverage

  DARA-Project/GoDist-Scheduler#26 · Filter by author Julian-Mentasti opened on Oct 30, 2020

• Race Condition: examples/ServerClient/run.sh

  DARA-Project/GoDist-Scheduler#25 · Filter by author Haximilian opened on Oct 30, 2020
  1

• Expose metadata about goroutines and processes for property checking

  DARA-Project/GoDist-Scheduler#21 · Filter by author vaastav opened on Jun 10, 2020

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

  DARA-Project/GoDist-Scheduler#18 · Filter by author vaastav opened on Jan 28, 2019

• Add tests with GOMAXPROCS to verfiy pre-emption property

  DARA-Project/GoDist-Scheduler#16 · Filter by author vaastav opened on Jan 28, 2019

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

  DARA-Project/GoDist-Scheduler#15 · Filter by author vaastav opened on Jan 28, 2019

• Document true level of replay

  DARA-Project/GoDist-Scheduler#13 · Filter by author vaastav opened on Jan 28, 2019

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

  DARA-Project/GoDist-Scheduler#9 · Filter by author vaastav opened on Jan 28, 2019

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

  DARA-Project/GoDist-Scheduler#7 · Filter by author vaastav opened on Jan 28, 2019

• Document GOMAXPROCS and Go Pre-emption

  DARA-Project/GoDist-Scheduler#6 · Filter by author vaastav opened on Jan 28, 2019

• JSON file should be more efficient

  DARA-Project/GoDist-Scheduler#5 · Filter by author vaastav opened on Jan 28, 2019