Merge remote-tracking branch 'remotes/origin/master' into luong_compactInteractive
+ apply Bugfix for failing tests # Conflicts: # ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/InteractiveModeController.java
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
test | Test | ||
|