--- layout: fc_discuss_archives title: Message 107 from Frama-C-discuss on May 2010 ---
On Fri, 2010-05-28 at 10:55 +0300, Patrik Nylund wrote: > 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. Frama-C is not about testing and it is not specific to a certain microcontroller.