Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Apparently these asserts are not failing anymore. Uncomment.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 18 Feb 2022 17:28:27 +0000 (18:28 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 19 Feb 2022 13:32:36 +0000 (14:32 +0100)
src/surf/ns3/ns3_simulator.cpp

index 5b4f136..db27ef5 100644 (file)
@@ -111,9 +111,9 @@ static void normalClose_callback(ns3::Ptr<ns3::Socket> socket)
   SgFlow* flow = getFlowFromSocket(socket);
   XBT_DEBUG("normalClose_cb of F[%p, %p] total: %u; sent: %u", flow, flow->action_, flow->total_bytes_,
             flow->sent_bytes_);
-  // xbt_assert(flow->total_bytes_ == flow->sent_bytes_,
-  //    "total_bytes (=%u) is not sent_bytes(=%u)", flow->total_bytes_ , flow->sent_bytes_);
-  // xbt_assert(flow->remaining_ == 0, "Remaining is not 0 but %u", flow->remaining_);
+  xbt_assert(flow->total_bytes_ == flow->sent_bytes_, "total_bytes (=%u) is not sent_bytes(=%u)", flow->total_bytes_,
+             flow->sent_bytes_);
+  xbt_assert(flow->remaining_ == 0, "Remaining is not 0 but %u", flow->remaining_);
   receive_callback(socket);
 }