Skip to content

_RunSync

[Source]

actor tag _RunSync is
  _Runner tag

Implements


Constructors

create

[Source]

new tag create(
  ponybench: PonyBench tag,
  benchmark: MicroBenchmark iso,
  overhead: Bool val)
: _RunSync tag^

Parameters

Returns


Public Behaviours

apply

[Source]

be apply()

Private Behaviours

_run_iteration

[Source]

be _run_iteration(
  n: U64 val = seq,
  a: U64 val = seq)

Parameters

  • n: U64 val = seq
  • a: U64 val = seq

_complete

[Source]

be _complete(
  t: U64 val)

Parameters


_fail

[Source]

be _fail()

Private Functions

_gc_next_behavior

[Source]

fun ref _gc_next_behavior()
: None val

Returns