--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on June 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] RE : Equality in S_with_collections



Hello,

Yes, it does. It also uses Cil_datatype.<X>.hash for hashing.

--
Julien
________________________________________
De : frama-c-discuss-bounces at lists.gforge.inria.fr [frama-c-discuss-bounces at lists.gforge.inria.fr] de la part de Boris Hollas [hollas at informatik.htw-dresden.de]
Date d'envoi : jeudi 21 juin 2012 11:05
? : frama-c-discuss at lists.gforge.inria.fr
Objet : [Frama-c-discuss] Equality in S_with_collections

Hello,

do the functions in Cil_datatype.<X>.Hashtbl, where <X> is a Cil type,
use Cil_datatype.<X>.equal for equality?
--
Best regards,
Boris


_______________________________________________
Frama-c-discuss mailing list
Frama-c-discuss at lists.gforge.inria.fr
http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss