Project

General

Profile

History

Wiki »

Brief User Guide (Russian) » History » Revision 2

Revision 1 (Andrei Tatarnikov, 10/16/2014 08:27 PM) → Revision 2/4 (Andrei Tatarnikov, 10/16/2014 11:03 PM) 

h1. Руководство пользователя 

 {{toc}} 

 h2. Краткое описание 

 h2. Установка MicroTESK 

 Руководство по установке и запуску MicroTESK на английском языке можно найти здесь: 
 http://forge.ispras.ru/projects/microtesk/wiki/Installation_Guide 

 h2. Запуск MicroTESK 

 h2. Основы языка nML 

 Объявление констант: 

 <pre> 
 let X = 10 
 </pre> 

 Объявления типов: 

 <pre> 
 type INT = int(32) 
 </pre> 


 h2. Основы языка описания тестовых шаблонов