BT_ASSERT_PRE_NON_NULL(packet, "Packet");
BT_ASSERT_PRE_PACKET_HOT(packet);
BT_ASSERT_PRE(packet->stream->class->packets_have_discarded_event_counter_snapshot,
"Packet's stream's discarded event counter is not enabled: "
"%![packet-]+a", packet);
bt_property_uint_set(&packet->discarded_event_counter_snapshot, value);
BT_ASSERT_PRE_NON_NULL(packet, "Packet");
BT_ASSERT_PRE_PACKET_HOT(packet);
BT_ASSERT_PRE(packet->stream->class->packets_have_discarded_event_counter_snapshot,
"Packet's stream's discarded event counter is not enabled: "
"%![packet-]+a", packet);
bt_property_uint_set(&packet->discarded_event_counter_snapshot, value);