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

Is it possible to run the playground locally? #142

Open
TSPMP opened this issue Jan 23, 2025 · 0 comments
Open

Is it possible to run the playground locally? #142

TSPMP opened this issue Jan 23, 2025 · 0 comments

Comments

@TSPMP
Copy link

TSPMP commented Jan 23, 2025

Basically, what the title says. Is it possible to run the playground server and especially the whiteboard and explorer feature locally? I built the binaries locally and can run the model checker but I do not seem to find an option to run the playground locally. The main.go file has a -playground option but that just seems to set a specific set of settings.

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

No branches or pull requests

1 participant