From 10235da6946200cea789da2ad433a4ef7c538f3b Mon Sep 17 00:00:00 2001 From: Andrew Rowley Date: Mon, 16 Oct 2023 13:07:46 +0100 Subject: [PATCH] Change to hex --- .../ac/manchester/spinnaker/front_end/dse/BoardWorker.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/SpiNNaker-front-end/src/main/java/uk/ac/manchester/spinnaker/front_end/dse/BoardWorker.java b/SpiNNaker-front-end/src/main/java/uk/ac/manchester/spinnaker/front_end/dse/BoardWorker.java index 1129887405..f579dd03b3 100644 --- a/SpiNNaker-front-end/src/main/java/uk/ac/manchester/spinnaker/front_end/dse/BoardWorker.java +++ b/SpiNNaker-front-end/src/main/java/uk/ac/manchester/spinnaker/front_end/dse/BoardWorker.java @@ -21,6 +21,7 @@ import java.io.IOException; import java.nio.ByteBuffer; +import static java.lang.String.format; import static java.nio.ByteBuffer.allocate; import static java.nio.ByteOrder.LITTLE_ENDIAN; import static org.slf4j.LoggerFactory.getLogger; @@ -183,8 +184,9 @@ protected void loadCore(CoreLocation xyp) throws IOException, pointerTable.putInt(regionInfo.pointer.address); if (regionInfo.content != null) { log.info("Region {} address {} size {}, next {}", region, - regionInfo.pointer.address, - regionInfo.content.remaining(), nextAddress); + regionInfo.pointer, + regionInfo.content.remaining(), + format("%#010x", nextAddress)); // If the next region doesn't start where the last one // ended, send the regions gathered