Commit ed43b691 authored by MARCHE Claude's avatar MARCHE Claude

update oracle

parent eaba8837
......@@ -7,7 +7,8 @@ File jlamp_array.mlw:
Line 18:
a.length = {"type" : "Integer" , "val" : "0" }
a.elts = {"type" : "Array" ,
"val" : [{"others" : {"type" : "Integer" ,
"val" : [{"indice" : "9" , "value" : {"type" : "Integer" , "val" : "3" } },
{"others" : {"type" : "Integer" ,
"val" : "3" } }] }
bench/ce/jlamp_array.mlw Array WP_parameter f : Unknown (other)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment