Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pyxtuml appears to have a limitation on function size. #29

Open
leviathan747 opened this issue Jun 3, 2021 · 4 comments
Open

Pyxtuml appears to have a limitation on function size. #29

leviathan747 opened this issue Jun 3, 2021 · 4 comments

Comments

@leviathan747
Copy link
Collaborator

See https://support.onefact.net/issues/12193 for reference.

Trying to build the Ciera pei example as a stand-alone project caused a recursion failure in pyxtuml when compiling 'do_creates()' function.
Moving the last 20 lines of code to an auxiliary function proved to be a work-around.
see: https://github.com/amullarney/PersistenceTest/tree/12020_unformalizedTest - do_creates, do_create2 in functions package.

@john-tornblom
Copy link
Contributor

I cannot access the support site right now, is it a recursion limit exception? If so, the limit can be bumped up with https://docs.python.org/3/library/sys.html#sys.setrecursionlimit

@john-tornblom
Copy link
Contributor

I accessed the support site, but need full stack trace from pyrsl to pinpoint the issue.

@leviathan747
Copy link
Collaborator Author

@amullarney can you provide some insight?

@amullarney
Copy link

amullarney commented Jul 10, 2021 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants