Class RunSpec.Builder

  • Enclosing class:
    RunSpec

    public static class RunSpec.Builder
    extends Object
    Mutable builder for RunSpec instances.
    • Constructor Detail

      • Builder

        public Builder()
    • Method Detail

      • seeds

        public RunSpec.Builder seeds​(int seeds)
        Sets the number of seed inputs per entry point.
        Parameters:
        seeds - the seed count
        Returns:
        this builder
      • maxInstructions

        public RunSpec.Builder maxInstructions​(int max)
        Sets the instruction execution cap.
        Parameters:
        max - the maximum instruction count
        Returns:
        this builder
      • maxDepth

        public RunSpec.Builder maxDepth​(int depth)
        Sets the maximum call depth.
        Parameters:
        depth - the depth limit
        Returns:
        this builder
      • traceMode

        public RunSpec.Builder traceMode​(RunSpec.TraceMode mode)
        Sets the trace retention mode.
        Parameters:
        mode - the trace mode
        Returns:
        this builder
      • timeBudget

        public RunSpec.Builder timeBudget​(int ms)
        Sets the wall-clock budget.
        Parameters:
        ms - the budget in milliseconds
        Returns:
        this builder
      • build

        public RunSpec build()
        Builds the immutable run specification.
        Returns:
        the configured RunSpec