Test Generation Status Report

Model RangeBoundsCheckExample1.mdl Rev: -

Auto-Generated by HiLiTE version 7.9.0.3_VVFCS on 3/6/2012 12:03:46 AM
Honeywell Confidential   –   © 2005-2011 Honeywell International Inc.
This copyrighted work and all information and expression are the property of Honeywell International Inc., contain trade secrets and may not, in whole or in part, be licensed, used, duplicated, or disclosed for any purpose without prior written permission of Honeywell International Inc. All Rights Reserved.


User Specification of Data Type and Range for Model Inputs and Feedback Loops

Symbol Files Used

    d:\SRI-VVFCS-SVN\etb\honeywell\hilite_examples\RangeBoundsCheck\ExternalInputRanges.csv
    d:\SRI-VVFCS-SVN\etb\honeywell\hilite_examples\RangeBoundsCheck\RangeBoundsForExamples_Good.csv

There are 22 errors in contents of symbol files - please see log for details.

All input data types and ranges are specified.