Commit fe231062 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Fix a bug in the --2c-4c-socks mode introduced by Pascal (do to an unnecessary flush).

parent 32f5edd6
Constraint:
(if
(if
(x + y) >= 0
then
(x + y) >= 3
......
......@@ -8,7 +8,7 @@ CFLAGS = \
-I../../../include $(DEBUG) -D_LAUNCH_LUTIN_AUTOMATICALLY
LIBS = -lluc4c_nc -llucky_nc -lgmp -lm -ldl -lstdc++
LUC2C=../../../$(HOSTTYPE)/bin/lutin --2c-4c
LUC2C=../../../$(HOSTTYPE)/bin/lutin --2c-4c -seed 42
LUC2CSOCK=../../../$(HOSTTYPE)/bin/lutin --2c-4c-socks 127.0.0.1 -seed 42
ifeq ($(HOSTTYPE),mac)
......
......@@ -5,16 +5,16 @@
# step 2
2 0 2.000000 #outs 6 0 5.690000
# step 3
3 1 3.000000 #outs 2 1 7.030000
3 1 3.000000 #outs 5 1 2.040000
# step 4
4 0 4.000000 #outs 5 0 2.970000
4 0 4.000000 #outs 3 0 7.970000
# step 5
5 1 5.000000 #outs 4 1 9.810000
5 1 5.000000 #outs 7 1 4.810000
# step 6
6 0 6.000000 #outs 10 1 1.990000
6 0 6.000000 #outs 4 1 6.990000
# step 7
7 1 7.000000 #outs 9 1 4.600000
7 1 7.000000 #outs 3 1 9.590000
# step 8
8 0 8.000000 #outs 11 0 4.150000
8 0 8.000000 #outs 7 0 9.140000
# step 9
9 1 9.000000 #outs 8 1 5.030000
......@@ -199,7 +199,6 @@ Utils.time_C "main_loop1";
) ^ "\n"
in
Rif.write stdout step_str;
Rif.flush stdout;
(* IF BOOT -> don't ask for input *)
let input =
if boot then Value.OfIdent.empty
......
Supports Markdown
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