search

LuNA-Static-Analysis / LuNA-Static-Analysis-Repository

1 stars 0 forks source link

[Model checking] Написание README #142

Open VaccinoPower opened 5 months ago

VaccinoPower commented 5 months ago

Написать подробный мануал (README.md) и провести согласно нему функциональное тестирование.

Возможное решение:

  1. Написать общее описание работы верификатора, инструкции по установке, использованию и настройке, а также примеры использования.
  2. Провести функциональное тестирование программы в соответствии с описанными в README.md инструкциями и примерами.