--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on June 2012 ---
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