--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on July 2012 ---
I am trying to get frama-c to perform a value analysis on n_start. I have tried using axioms to tell frama-c that n_start greater than or equal to (start - 31) and less than or equal to start. Perhaps I am not taking the right approach can someone help? uint32_t start, n_start; n_start = 0; start = Frama_C_interval (0, CHAR_MAX); n_start = start - start%32; -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120707/40809453/attachment.html>