GitLab

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.