SuccessChanges

Summary

  1. Waits for result of coverage and prints message Fixes #716 (commit: 134c0be) (details)
Commit 134c0be847a9f1b9aa2def2b336692d95fe36361 by idhugoid
Waits for result of coverage and prints message Fixes #716
(commit: 134c0be)
The file was modifiedcore/interpreter/src/main/java/org/overture/interpreter/debug/DBGPReaderV2.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/commands/IDbgpOvertureCommands.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/model/internal/VdmDebugTarget.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/commands/DbgpOvertureCommands.java
The file was modifiedide/debug/src/main/java/org/overture/ide/debug/core/dbgp/internal/packets/DbgpPacketReceiver.java