Skip to content

Home / UI Guide / Model Text Tab

Model Text Tab

Advanced Mode Required

This tab is only visible when Advanced Mode is checked in the toolbar. Enable it to access Verification, Trial Results, and Model Text.

The Model Text tab shows the raw PICT text representation of your model. This is the format passed to the generation engine and is useful for power users who want to see or edit the model directly.

Sync Behavior

The tab provides bidirectional synchronization between the visual editors (Parameters, Constraints, Seeds, Sub-Models) and the text representation.

Action Description
Auto-sync When you switch to this tab, the text is regenerated from the current UI state
Manual editing You can edit the text directly for advanced features not exposed in the UI

PICT Text Format

The text follows PICT's model file format:

# Parameter definitions
OS: Windows (10), Linux, macOS
Browser: Chrome, Firefox, Safari, Edge
RAM: 4GB, 8GB, 16GB

# Sub-model declarations
{ OS, Browser } @ 3

# Constraints
IF [OS] = "Linux" THEN [Browser] <> "Safari";
IF [OS] = "macOS" THEN [Browser] <> "Edge";

Format Details

  • Parameters: Name: Value1, Value2, Value3
  • Weights: Value (weight) — e.g., Windows (10)
  • Negative values: ~Value — e.g., ~InvalidOS
  • Aliases: Value | Alias — e.g., Windows | Win
  • Sub-models: { Param1, Param2 } @ Order
  • Comments: Lines starting with #

Exporting as PICT

You can export your model in .pict format to share with other PICT users or use with Microsoft's standalone PICT tool. From the toolbar, click Export PICT to save the current model text as a .pict file.

When to Use This Tab

  • Viewing the exact model text that will be sent to the engine
  • Pasting in an existing PICT model from another source
  • Using advanced PICT features like parameter reuse (<ParamName>)
  • Debugging constraint issues by examining the serialized format
  • Previewing what will be exported when you use Export PICT

See File Formats: .pict Format for the complete syntax reference.