Skip to content
| Marketplace
Sign in
Visual Studio Code>Other>uppaal-create-toolNew to Visual Studio Code? Get it now.
uppaal-create-tool

uppaal-create-tool

Elder

|
25 installs
| (0) | Free
none.
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Run The Sample

# Navigate into sample directory
cd uppaal-create-tool

# Install dependencies
npm run install:all

# Build webview  source code
npm run build:contract
npm run build:config
npm run build:lib
npm run build:behavior

# Open sample in VS Code
code .
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft