specExecutionOrder

Returns the SpecExecutionOrder set by the user or defaults to LexicographicSpecExecutionOrder. Note: This has no effect on non-JVM targets.