From d98cea2f85b52f52b9ea0afc32674496876cd79f Mon Sep 17 00:00:00 2001
From: Vladislav Kiselev <vladislav-a-k@mail.ru>
Date: Mon, 8 Jul 2019 15:22:08 +0300
Subject: [PATCH] readme.md updated.

---
 README.md | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 2bf39d0..ab719df 100644
--- a/README.md
+++ b/README.md
@@ -2,13 +2,13 @@
 
 Описание сведения к minizinc-у можно найти в "Планирование портовых операций.docx".
 
-## Сборка
+### Сборка
 
 Для создания jar-архива необходимо запустить
 + Make.bat - для Windows.
 + Makefile - для Linux.
 
-## Запуск
+### Запуск
 
 `java -jar Conversion.jar solve example.tipp [conversion_type]` <br>
 где
@@ -17,4 +17,13 @@
 + conversion_type - тип сведения, может быть
   - "Without splitting" - операции грузообработки всегда выполняются полностью, ограничения из constraints/conversion_2.mzn. Вариант по умолчанию.
   - "With splitting" - интенсивность операции может изменятся от 1 до её максимального значения, ограничения из constraints/conversion_2_with_partial_cargo_operations.mzn.
-  - "Greedy v2" - "жадный алгоритм", ограничения из conversion_2_greedy_v2.mzn
+  - "Greedy v2" - "жадный алгоритм", ограничения из conversion_2_greedy_v2.mzn.
+
+### Тестирование
+
+Проверенные тесты находятся в tests/with_typing . Их последовательный запуск: <br>
+`java -jar Conversion.jar testing [conversion_type]` <br> где
++ conversion_type - тип сведения, тот же что и при запуске.
+
+
+
-- 
GitLab