Faulty settings of record of values
Submitted by G??bor Szalai
Link to original bug (#494168)
Description
module proba{
type record R1{ integer i1, integer i2, integer i3 }
type record of R1 R1_list
type record R2{ R1_list f1 optional }
type component CT {timer eer}
testcase TC() runs on CT{
var R2 pr:={f1:={{}}}
log(pr)
}
control{ execute(TC()) }
}
Latest version:
15:11:28.455425 { f1 := { <unbound>
} } // faulty
15:15:02.086162 { f1 := { { i1 := <unbound>
, i2 := <unbound>
, i3 := <unbound>
} } } // expected