Get Traces Limits From `prover/backend/config` package.#52

Merged

delehef merged 5 commits intomasterfrom use-prover-config-pkg

Nov 9, 2023

+2-43

Commits on Nov 8, 2023

changed line to make auto-generated code access a go struct storing the traces limits defined in config file
Alessandro Sforzin
committed
removed commented code
Alessandro Sforzin
committed
changed line to make auto-generated code access a go struct storing the traces limits defined in config file
Alessandro Sforzin
committed
deleted commented out unneeded code
Alessandro Sforzin
committed

Commits on Nov 9, 2023

Merge branch 'master' into use-prover-config-pkg
delehef
authored