Actions
Bug #4815
closed[template] Directory $MICROTESK_HOME/tools should be used instead of `pwd`/tools
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