_RunSync

[Source]

actor tag _RunSync is
  _Runner tag

Implements

• _Runner tag

Constructors

create

[Source]

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

Parameters

• ponybench: PonyBench tag
• benchmark: MicroBenchmark iso
• overhead: Bool val

Returns

• _RunSync tag^

Public Behaviours

apply

[Source]

be apply()

Private Behaviours

_run_iteration

[Source]

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

Parameters

• n: U64 val = 0
• a: U64 val = 0

_complete

[Source]

be _complete(
  t: U64 val)

Parameters

• t: U64 val

_fail

[Source]

be _fail()

Private Functions

_gc_next_behavior

[Source]

fun ref _gc_next_behavior()
: None val

Returns

• None val