Sasa can stack overflow in the toy example sum
Given the following dot file, sasa has a stack overflow when launching:
graph test {
graph [min_deg=1
mean_deg=1.5
max_deg=2
is_connected=true
is_cyclic=false
is_tree=true
links_number=3
is_rooted=false]
root [algo="p.ml" init="{pid=root ; input=12}"]
p1 [algo="p.ml" init="{pid=p1 ; input=5}"]
p2 [algo="p.ml" init="{pid=p2 ; input=10}"]
p3 [algo="p.ml" init="{pid=p3 ; input=3}"]
p1 -- p2
p1 -- root
p2 -- p3
}
After deleting everything that wasn't tracked in sasa/test/toy-example-sum
on master, here is my execution:
$ make test.cmxs
sasa -reg test.dot
[sasa] The sasa random engine seed is set to 933869547
[sasa] The file test.ml has been generated
[sasa] Warning: state.ml already exist.
[sasa] Warning: config.ml already exist.
[sasa] Hint: you may wish to generate test.cmxs out of test.ml with:
[sasa] ocamlfind ocamlopt -package algo -shared state.ml p.ml config.ml test.ml -o test.cmxs
[sasa] The sasa random engine seed is set to 472782834
ocamlfind ocamlopt -bin-annot -package algo -shared state.ml p.ml config.ml test.ml -o test.cmxs
$ sasa test.dot
[sasa] The sasa random engine seed is set to 704438567
# Automatically generated by /home/neogalaxy/.opam/ocaml-base-compiler.4.12.0/bin/sasa version "4.6.0-34-g9a7813d" ("9a7813d")
# on neogalaxy-FeelPad-MK02 the 2/8/2021 at 9:49:13
#sasa test.dot
#seed 704438567
#inputs
#outputs "root_input":int "root_sub":int "root_res":int "p1_input":int "p1_sub":int "p1_res":int "p2_input":int "p2_sub":int "p2_res":int "p3_input":int "p3_sub":int "p3_res":int "Enab_root_S":bool "Enab_root_Rr":bool "Enab_root_Rp":bool "Enab_p1_S":bool "Enab_p1_Rr":bool "Enab_p1_Rp":bool "Enab_p2_S":bool "Enab_p2_Rr":bool "Enab_p2_Rp":bool "Enab_p3_S":bool "Enab_p3_Rr":bool "Enab_p3_Rp":bool "root_S":bool "root_Rr":bool "root_Rp":bool "p1_S":bool "p1_Rr":bool "p1_Rp":bool "p2_S":bool "p2_Rr":bool "p2_Rp":bool "p3_S":bool "p3_Rr":bool "p3_Rp":bool potential:real
Stack overflow
q
#quit
%!
I have no idea on how to debug this.