id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
2967	Pantelides fails for arrays	Martin Sjölund	somebody	"Pantelides fails for the following models using arrays:

{{{#!mo
package ModelicaCompliance  ""A semantics compliance suite for the Modelica language"" 
  extends Icons.TestPackage;

  package Algorithms  
    extends Icons.TestPackage;

    package For  
      extends Icons.TestPackage;

      model BoolRange  
        extends Icons.TestCase;
        Boolean[Boolean] b;
      algorithm
        for i in false:true loop
          b[i] := i;
        end for;
        assert(b[false] == false, ""b[false] was not set correctly."");
        assert(b[true] == true, ""b[true] was not set correctly."");
        annotation(__ModelicaAssociation(TestCase(shouldPass = true, section = {""11.2.2""})), experiment(StopTime = 0.01)); 
      end BoolRange;
    end For;
  end Algorithms;

  package Icons  
    model TestCase  end TestCase;

    package TestPackage  end TestPackage;
  end Icons;
  annotation(version = ""3.2""); 
end ModelicaCompliance;

model BoolRange_total
  extends ModelicaCompliance.Algorithms.For.BoolRange;
 annotation(__ModelicaAssociation(TestCase(shouldPass = true, section = {""11.2.2""})), experiment(StopTime = 0.01));
end BoolRange_total;
}}}

{{{#!mo
package ModelicaCompliance  ""A semantics compliance suite for the Modelica language"" 
  extends Icons.TestPackage;

  package Algorithms  
    extends Icons.TestPackage;

    package For  
      extends Icons.TestPackage;

      model EnumRange  
        extends Icons.TestCase;
        type TwoEnums = enumeration(one, two);
        TwoEnums[TwoEnums] te;
      algorithm
        for e in TwoEnums.one:TwoEnums.two loop
          te[e] := e;
        end for;
        assert(te[TwoEnums.one] == TwoEnums.one, ""te[TwoEnums.one] was not set correctly."");
        assert(te[TwoEnums.two] == TwoEnums.two, ""te[TwoEnums.two] was not set correctly."");
        annotation(__ModelicaAssociation(TestCase(shouldPass = true, section = {""11.2.2""})), experiment(StopTime = 0.01)); 
      end EnumRange;
    end For;
  end Algorithms;

  package Icons  
    model TestCase  end TestCase;

    package TestPackage  end TestPackage;
  end Icons;
  annotation(version = ""3.2""); 
end ModelicaCompliance;

model EnumRange_total
  extends ModelicaCompliance.Algorithms.For.EnumRange;
 annotation(__ModelicaAssociation(TestCase(shouldPass = true, section = {""11.2.2""})), experiment(StopTime = 0.01));
end EnumRange_total;
}}}"	defect	new	high	Future	Backend	trunk			Willi Braun Lennart Ochel