40 namespace Test {
namespace FlatZinc {
49 (void)
new FlatZincTest(
"fzn_coercions",
50 "var float: f1 :: output_var;\n\
51 var int: i1 :: output_var;\n\
53 constraint int2float(42, f1);\n\
54 constraint bool2int(true, i1);\n\
Gecode::FloatVal c(-8, 8)