import edu.berkeley.fleet.util.*;
import java.util.*;
import java.util.concurrent.*;
+import static edu.berkeley.fleet.two.FleetTwoFleet.*;
import static edu.berkeley.fleet.api.Instruction.Set.*;
import static edu.berkeley.fleet.api.Predicate.*;
import static edu.berkeley.fleet.api.Instruction.*;
public Fleet getFleet() { return fpga; }
public Dock getDebugInputDock() {
- throw new RuntimeException();
+ return fpga.getShip("Debug",0).getDock("in");
}
public BitVector readWord() {
if (isTerminated())