Code

[trivial] fix timer precision.#198

Code

Merged

SimonDold merged 4 commits intoaibasel:mainaibasel/downward:mainfrom SimonDold:timer-digitsSimonDold/downward:timer-digitsCopy head branch name to clipboardNov 27, 2023

+2-1

Commits

Commits on Nov 23, 2023

• [trivial] fix timer precision.

  SimonDold

  committed
  cdc4ab2

  Copy full SHA for cdc4ab2

Commits on Nov 24, 2023

• improve style.

  SimonDold

  committed
  115ffee

  Copy full SHA for 115ffee

• reduce precision to match Lab.

  SimonDold

  committed
  e2157d9

  Copy full SHA for e2157d9

Commits on Nov 27, 2023

• set precision to 6 digits.

  SimonDold

  committed
  3febdde

  Copy full SHA for 3febdde