--- layout: fc_discuss_archives title: Message 104 from Frama-C-discuss on May 2010 ---
Hi I am very new with frama-c. What do I need to know and what do I need to do to set up a testing project on my HCS12 code? Btw, my HCS12 project is done in windows with Freescale Codewarrior. So I suspect I will need to copy some includes and setup some environment variables. Thanks in advance, Patrik