--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on September 2009 ---
I am not sure if did something concerning swap. I just installed Frama-C with the default configuration. ./configure && make world && make Maybe there were some Warnings which I ignored during the configuration, but installation process has finished normally. Gyesik 2009/9/18 Hollas Boris (CR/AEY1) <Boris.Hollas at de.bosch.com>: > Do you swap values? How does your implementation look like? > > When swapping values, pointers must be disjoint, else Jesse may crash. > > _______________________________________________ > 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 >