err += ""+i+", ";
}
}
- fatal(mismatch, "bit vectors do not match on bits " + err);
+ fatal(mismatch, "bit vectors do not match on bits " + err + "\n "+bv1+"\n "+bv2);
}
private static void printTestTime() {
prln("Begin recvPath");
adjustIndent(2);
- for(int bit=0; bit<13; bit++) {
+ for(int bit=0; bit<11; bit++) {
BitVector packet_data = new BitVector(37, "inbound data item");
for(int i=0; i<37; i++) packet_data.set(i, false);
- packet_data.set(24+bit, true);
+ packet_data.set(27+bit, true);
BitVector packet_path = new BitVector(14, "inbound data item");
for(int i=0; i<14; i++) packet_path.set(i, false);
fatal(dataItems.size()!=1, "Expected one data item to emerge but got: "+dataItems.size()+" data items");
MarinaPacket mp = new MarinaPacket(dataItems.get(0));
- fatalIfBitVectorsDoNotMatch(packet_data.get(24,13), mp.path.get(0,13));
+ fatalIfBitVectorsDoNotMatch(packet_data.get(26,11), mp.path.get(0,11));
}
adjustIndent(-2);