Project

General

Profile

Actions
Copy link

Bug #4815

closed

[template] Directory $MICROTESK_HOME/tools should be used instead of `pwd`/tools

Added by Alexander Kamkin about 10 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
2.0
Start date:
04/02/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
140417

Description

MICROTESK_HOME=C:/SVN/microtesk/microtesk/dist

The 'C:/SVN/microtesk/tools' folder does not exist.
It stores external constraint solver engines and is required to generate constraint-based test data.
Actions
Copy link

Also available in: Atom PDF