Project

General

Profile

Brief User Guide (Russian) » History » Revision 3

Revision 2 (Andrei Tatarnikov, 10/16/2014 11:03 PM) → Revision 3/4 (Andrei Tatarnikov, 10/16/2014 11:06 PM)

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

 {{toc}} 

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

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

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

 h2. Запуск MicroTESK 

 

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

 Ссылки на описание языка nML/Sim-nML на английском языке можно найти здесь: 
 http://forge.ispras.ru/projects/microtesk/wiki/Sim-nML-Related_Publications 

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

 <pre> 
 let X = 10 
 </pre> 

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

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

 


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