Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • S sasa
  • Project information
    • Project information
    • Activity
    • Labels
    • Planning hierarchy
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 8
    • Issues 8
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 2
    • Merge requests 2
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • verimag
  • synchrone
  • sasa
  • Issues
  • #22

Closed
Open
Created Aug 02, 2021 by Gwennan Eliezer@eliezergDeveloper

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.

Assignee
Assign to
Time tracking