--- layout: fc_discuss_archives title: Message 76 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] wp vs. jessie?



Which is better: WP or Jessie?  I have been using Jessie in my class for a couple of years, but it looks like WP is the newer thing.  Should I start using WP now?   I'm not sure what the advantages/disadvantages are of each.  Any advice or pointers to info. are appreciated. Thanks,
Steve