dslabs
dslabs copied to clipboard
emichael
Distributed Systems Labs and Framework
Throughout the search tests now, we have the pattern: ```java searchSettings.maxTimeSecs(30); searchSettings.addGoal(CLIENTS_DONE); searchSettings.addInvariant(RESULTS_OK); bfs(initSearchState); assertGoalFound(); searchSettings.clearGoals(); bfs(initSearchState); ``` If the first `bfs` is not instant, this wastes significant time. It...
Right now, all nodes are laid out in a single row. On very wide screens, this is fine. On smaller screens, trying to view more than 4 nodes at once...
On MacOS, we should use the system menu bar in the new viz tool instead of creating a menu bar in swing and docking it at the top of the...
It would be nice to introduce students to proper logging infrastructure using `@Log`. I think the best place for this would be a short writeup as part of Lab 0,...
1. Add a GitHub action check that runs the nullness checker 2. Standardize on a set of null/notnull annotations to use, ban all uses of others with an automatic check
This is an early-staged, ongoing effort to support deterministic simulated execution run tests. I would like to hear about comments before moving on, e.g., whether this feature is expected and...
Most of the tests (with the exception of search tests with searches for goal states) exit when they fail. It would be better if we ran tests through to completion...
We should be using `Instant` and `Duration` from the `java.time` package instead of millisecond times stored as `long`s or `int`s.
**Describe the bug** When running the visual debugger using either `./run-tests.py .. --debug ...` or `./run-tests.py .. --start-viz ...` the display is very small and cannot be resized. **Screenshots** ...
