--- layout: fc_discuss_archives title: Message 79 from Frama-C-discuss on June 2009 ---
Hello, We have used Splint (www.splint.org) to check our code. Splint uses annotations of the form /*@ ... @*/, which cannot be used together with Jessie. On the other hand, Jessie annotations may lead to error messages in Splint. However, we want to use Jessie for code that has already been annotated for the use with Splint. Can Jessie be instructed to use a symbol other than @ to introduce annotations? Best regards, Boris