Non deterministic behavior
As bsp_p grows, non deterministic behaviors occur. The execution of the following program get stuck now and then
let x = Bsml.mkpar (fun i -> i+1);;
let y = Bsml.proj x (Bsml.bsp_p -1);;
print_int y;As bsp_p grows, non deterministic behaviors occur. The execution of the following program get stuck now and then
let x = Bsml.mkpar (fun i -> i+1);;
let y = Bsml.proj x (Bsml.bsp_p -1);;
print_int y;