В данной базе собраны все имеющиеся задачи по Frama-C и их решения. Для удобного просмотра рекомендуется использовать соответствующий раздел сайта
Для данного раздела не требуется отдельное добавление задач. Если появилось новое решение, необходимо поместить его в папку solutions в файле .c и добавить информацию о нем в файл index.json. Схема данного файла приведена ниже.
{
<название_файла>: {
"strategy": <стратегия_запуска_решения>,
"comment": <комментарий_к_решению>,
"accepted": <true|false>
},
...
}
При добавлении необходимо добавить запись для каждого добавляемого решения в данный json в соответствии с его схемой. Стратегию необходимо указывать, так как в некоторых (пусть и редких) случаях запуск может отличаться от стандартного. В комментарии крайне рекомендуется указать какие-то комментарии - вопросы, которые задавались к решению, проблемы, которые не удалось решить и прочие подводные данного решения. Также необходимо проставить поле accepted, показывающее, была ли задача успешно сдана. Это поможет другим выбирать проверенные и надежные решения.