--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on January 2015 ---
Hi Everyone, I'm Daniela from the University of Parma. I'm doing a frama C project and it doesn't work properly, so I hope someone here can help me. The program I wrote is a C program for base number conversion with input: the input base, the number in the input base, the output base. I've annotated the program and I have 4 yellow points. - two loop variants (lines: 54-100), my guess is that I can't use unsigned variables in loop variant. - assigns/loop assigns (lines: 79-99), no clue why they don't work. Thanks for the support. Best regards, Daniela Pedroni -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150106/3aa22dd4/attachment.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: base_conversion.c Type: text/x-csrc Size: 5103 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150106/3aa22dd4/attachment.c>