******************************************************************************
********************* IBIS GOLDEN PARSER BUG REPORT FORM *********************
******************************************************************************

INSTRUCTIONS

To report a bug in the IBIS golden parser.  Please fill out the top part
of the following form and send the complete form to info@ibis.org.

A list of reported bugs is maintained at http://ibis.org/bugs/ibischk/ .

******************************************************************************

PARSER VERSION NUMBER: 7.0.2

PLATFORM (SPARC, HP700, PC, etc.): Mac

OS AND VERSION: Darwin Kernel Version 20.6.0

REPORTED BY: Mike LaBonte, MathWorks

DATE: October 22, 2021

DESCRIPTION OF BUG:
The AMI file below has an error, but IBISCHK passes it:

  % ibischk7 -ami bug225.ami
  IBISCHK7 V7.0.2

  ... Checking bug225.ami for AMI Version 7.0 Compatibility...

  Errors  : 0

  File Passed

The IBIS specification has for List_Tip:

The number of entries in List_Tip must be the same as the number of entries
in List. The nth entry in List_Tip shall correspond to the nth entry in List.
Quoted null entries are not permitted. All entries in List_Tip shall be unique,
except that if two entries in List are the same, then the corresponding
List_Tip entries must also be the same.

In the test case, the 3rd and 4th values match but the 3rd
and 4th List_Tips do not. That should have been flagged as
an error, but it was not.

*****
Added note, BUG225 has existed since List_Tip was first introduced in
IBIS Version 6.0 and in ibischk6 Version 6.0.0. No Error is reported for
AMI_Version "6.0".  For ibischk7 Version 7.0.2, no Error is reported for
AMI_Version "6.0" through AMI_Version 7.0. So this problem has existed for
all the IBIS Versions since 6.0.
*****

INSERT IBIS FILE DEMONSTRATING THE BUG: bug.ami

(BUG225_List_Tip
   (Reserved_Parameters
      (AMI_Version (Usage Info) (Type String) (Value "7.0"))
      (Init_Returns_Impulse (Usage Info)(Type Boolean)(Value True))
      (GetWave_Exists (Usage Info)(Type Boolean)(Value True))
    )
    (Model_Specific
      (Param1 (Usage Info)(Type Float)
        (List    1.0     1.1     1.2      1.2)
        (List_Tip "spec1" "spec2" "spec3"  "spec4")
        (Default 1.0)
    )
  )
)

******************************************************************************
******************** BELOW FOR ADMINISTRATION AND TRACKING *******************
******************************************************************************

BUG NUMBER:      225

SEVERITY: [FATAL, SEVERE, MODERATE, ANNOYING, ENHANCEMENT]  MODERATE

PRIORITY: [HIGH, MEDIUM, LOW]                               LOW

STATUS: [OPEN, CLOSED, WILL NOT FIX, NOT A BUG]             CLOSED

FIXED VERSION: 7.1.1

FIXED DATE:    November 18, 2022

NOTES ON BUG FIX:
Classified at the IBIS Open Forum on October 29, 2021. Since BUG225 has
existed in all IBIS Versions since Version 6.0, the fix will be delayed
to a future release after ibischk7 Version 7.1.0.

******************************************************************************
******************************************************************************