ostis-apps / gt-knowledge-processing-machine Goto Github PK

1. Проверить, что выдаст решатель, если первый аргумент не является графом по структуре, но является им по определению(добавлен в множество concept_graph)
2. Проверить, что выдаст решатель, если первый аргумент является графом по структуре, но не является им по определению(не добавлен в множество concept_graph)

Тестировать нужно для любой задачи, которую сейчас может решить решатель(прим. Проверка графа на свзность)

We need to apply new specification for scp programs.

1. Example for programs with two variants result(see commit: 9ba6fa4 program: scp_program_proc_find_connected_graph.scs):
   
2. Example for programs with one variants result(see commit: 9ba6fa4 program: scp_program_proc_find_points_of_articulation_var2):