PageConfiguration
data class PageConfiguration(val solverProfileOverride: SolverProfileId? = null, val timeoutOverride: Duration? = null, val optionOverrides: Map<String, String> = emptyMap())
A page's own overrides on top of the workspace-wide WorkspaceConfiguration - null/absent fields fall back to the workspace default (see WorkspaceConfiguration.resolve).
Constructors
Link copied to clipboard
constructor(solverProfileOverride: SolverProfileId? = null, timeoutOverride: Duration? = null, optionOverrides: Map<String, String> = emptyMap())