Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

Commit 6348118c authored by MARCHE Claude's avatar MARCHE Claude
Browse files

more CE obtained, including with floats

parent a553919e
......@@ -90,8 +90,8 @@ Counter-example model:File array_records.mlw:
Line 23:
a.length = {"type" : "Integer" , "val" : "1" }
i = {"type" : "Integer" ,
"val" : "1" }
"val" : "2" }
Line 25:
old i = {"type" : "Integer" ,
"val" : "1" }
"val" : "2" }
bench/ce/floats.mlw T g1 : Unknown (other)
Counter-example model:File floats.mlw:
Line 5:
x = {"type" : "Integer" ,
"val" : "0" }
bench/ce/floats.mlw T g1 : Unknown (other)
Counter-example model:File floats.mlw:
Line 5:
x = {"type" : "Integer" ,
"val" : "0" }
bench/ce/floats.mlw T g1 : Unknown (other)
Counter-example model:File floats.mlw:
Line 5:
x = {"type" : "Float" , "val" : {"cons" : "Float_value" ,
"exponent" : "#x81" , "sign" : "#b0" ,
"significand" : "#b00010000000000000000000" } }
bench/ce/floats.mlw T g1 : Unknown (other)
Counter-example model:File floats.mlw:
Line 5:
x = {"type" : "Float" , "val" : {"cons" : "Float_value" ,
"exponent" : "#x81" , "sign" : "#b0" ,
"significand" : "#b00010000000000000000000" } }
bench/ce/floats.mlw T g1 : Unknown (other)
Counter-example model:File floats.mlw:
Line 5:
x = {"type" : "Float" , "val" : {"cons" : "Float_value" ,
"exponent" : "#xc0" , "sign" : "#b0" ,
"significand" : "#b00000000000000000000001" } }
bench/ce/floats.mlw T g1 : Unknown (other)
Counter-example model:File floats.mlw:
Line 5:
x = {"type" : "Float" , "val" : {"cons" : "Float_value" ,
"exponent" : "#xc0" , "sign" : "#b0" ,
"significand" : "#b00000000000000000000001" } }
......@@ -2,7 +2,21 @@ bench/ce/jlamp_projections.mlw Abstract WP_parameter p3 : Valid
bench/ce/jlamp_projections.mlw Abstract WP_parameter p3 : Unknown (other)
bench/ce/jlamp_projections.mlw Record WP_parameter p4 : Valid
bench/ce/jlamp_projections.mlw Record WP_parameter p4 : Unknown (other)
Counter-example model:File jlamp_projections.mlw:
Line 40:
b.g = {"type" : "Boolean" ,
"val" : true }
Line 41:
the check fails with all inputs
bench/ce/jlamp_projections.mlw Abstract WP_parameter p3 : Valid
bench/ce/jlamp_projections.mlw Abstract WP_parameter p3 : Unknown (other)
bench/ce/jlamp_projections.mlw Record WP_parameter p4 : Valid
bench/ce/jlamp_projections.mlw Record WP_parameter p4 : Unknown (other)
Counter-example model:File jlamp_projections.mlw:
Line 40:
b.g = {"type" : "Boolean" ,
"val" : true }
Line 41:
the check fails with all inputs
......@@ -2,14 +2,21 @@ bench/ce/jlamp_projections.mlw Abstract WP_parameter p3 : Valid
bench/ce/jlamp_projections.mlw Abstract WP_parameter p3 : Unknown (other)
bench/ce/jlamp_projections.mlw Record WP_parameter p4 : Valid
bench/ce/jlamp_projections.mlw Record WP_parameter p4 : Unknown (other)
bench/ce/jlamp_projections.mlw Abstract WP_parameter p3 : Valid
bench/ce/jlamp_projections.mlw Abstract WP_parameter p3 : Unknown (other)
Counter-example model:File jlamp_projections.mlw:
Line 23:
a = {"type" : "Integer" , "val" : "127" }
Line 24:
a = {"type" : "Integer" ,
"val" : "127" }
Line 40:
b.g = {"type" : "Boolean" ,
"val" : true }
Line 41:
the check fails with all inputs
bench/ce/jlamp_projections.mlw Abstract WP_parameter p3 : Valid
bench/ce/jlamp_projections.mlw Abstract WP_parameter p3 : Unknown (other)
bench/ce/jlamp_projections.mlw Record WP_parameter p4 : Valid
bench/ce/jlamp_projections.mlw Record WP_parameter p4 : Unknown (other)
Counter-example model:File jlamp_projections.mlw:
Line 40:
b.g = {"type" : "Boolean" ,
"val" : true }
Line 41:
the check fails with all inputs
......@@ -94,7 +94,45 @@ x = {"type" : "Array" , "val" : [{"indice" : "0" ,
"val" : "5" } }] } }] }
bench/ce/map.mlw M WP_parameter proj_map_test1 : Unknown (other)
Counter-example model:File map.mlw:
Line 64:
x = {"type" : "Array" , "val" : [{"indice" : "1" ,
"value" : {"type" : "Integer" , "val" : "3" } },
{"others" : {"type" : "Integer" ,
"val" : "2" } }] }
Line 65:
x = {"type" : "Array" , "val" : [{"indice" : "0" ,
"value" : {"type" : "Integer" , "val" : "3" } }, {"indice" : "1" ,
"value" : {"type" : "Integer" , "val" : "3" } },
{"others" : {"type" : "Integer" ,
"val" : "2" } }] }
Line 67:
x = {"type" : "Array" , "val" : [{"indice" : "0" ,
"value" : {"type" : "Integer" , "val" : "3" } }, {"indice" : "1" ,
"value" : {"type" : "Integer" , "val" : "3" } },
{"others" : {"type" : "Integer" ,
"val" : "2" } }] }
bench/ce/map.mlw M WP_parameter proj_map_test2 : Unknown (other)
Counter-example model:File map.mlw:
Line 71:
x = {"type" : "Array" , "val" : [{"indice" : "1" ,
"value" : {"type" : "Boolean" , "val" : true } },
{"others" : {"type" : "Boolean" ,
"val" : false } }] }
Line 72:
x = {"type" : "Array" , "val" : [{"indice" : "0" ,
"value" : {"type" : "Boolean" , "val" : true } }, {"indice" : "1" ,
"value" : {"type" : "Boolean" , "val" : true } },
{"others" : {"type" : "Boolean" ,
"val" : false } }] }
Line 74:
x = {"type" : "Array" , "val" : [{"indice" : "0" ,
"value" : {"type" : "Boolean" , "val" : true } }, {"indice" : "1" ,
"value" : {"type" : "Boolean" , "val" : true } },
{"others" : {"type" : "Boolean" ,
"val" : false } }] }
bench/ce/map.mlw ModelMap t1 : Unknown (other)
Counter-example model:File map.mlw:
Line 5:
......@@ -191,4 +229,42 @@ x = {"type" : "Array" , "val" : [{"indice" : "0" ,
"val" : "5" } }] } }] }
bench/ce/map.mlw M WP_parameter proj_map_test1 : Unknown (other)
Counter-example model:File map.mlw:
Line 64:
x = {"type" : "Array" , "val" : [{"indice" : "1" ,
"value" : {"type" : "Integer" , "val" : "3" } },
{"others" : {"type" : "Integer" ,
"val" : "2" } }] }
Line 65:
x = {"type" : "Array" , "val" : [{"indice" : "0" ,
"value" : {"type" : "Integer" , "val" : "3" } }, {"indice" : "1" ,
"value" : {"type" : "Integer" , "val" : "3" } },
{"others" : {"type" : "Integer" ,
"val" : "2" } }] }
Line 67:
x = {"type" : "Array" , "val" : [{"indice" : "0" ,
"value" : {"type" : "Integer" , "val" : "3" } }, {"indice" : "1" ,
"value" : {"type" : "Integer" , "val" : "3" } },
{"others" : {"type" : "Integer" ,
"val" : "2" } }] }
bench/ce/map.mlw M WP_parameter proj_map_test2 : Unknown (other)
Counter-example model:File map.mlw:
Line 71:
x = {"type" : "Array" , "val" : [{"indice" : "1" ,
"value" : {"type" : "Boolean" , "val" : true } },
{"others" : {"type" : "Boolean" ,
"val" : false } }] }
Line 72:
x = {"type" : "Array" , "val" : [{"indice" : "0" ,
"value" : {"type" : "Boolean" , "val" : true } }, {"indice" : "1" ,
"value" : {"type" : "Boolean" , "val" : true } },
{"others" : {"type" : "Boolean" ,
"val" : false } }] }
Line 74:
x = {"type" : "Array" , "val" : [{"indice" : "0" ,
"value" : {"type" : "Boolean" , "val" : true } }, {"indice" : "1" ,
"value" : {"type" : "Boolean" , "val" : true } },
{"others" : {"type" : "Boolean" ,
"val" : false } }] }
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