readme.md updated.

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 - тип сведения, тот же что и при запуске.
+
+
+