Current ELF file: (none)

Source files (optional):




Out-of-order mode

Flat/Fetch


Relaxed Fetch Options:


Storage model

Instruction Semantics

Tree speculation

(Promising) Restrict promises

(not applicable)

Topology Choice for Flowing Model

Topology for two-thread tests

Topology for three-thread tests

Topology for four-thread tests

(not applicable)