Code

Small fixes#93

Code

Merged

AbdullinAM merged 5 commits intovorpal-research:mastervorpal-research/kex:masterfrom SBOne-Kenobi:small-fixesSBOne-Kenobi/kex:small-fixesCopy head branch name to clipboardSep 18, 2023

+14-5

Commits

Commits on Sep 13, 2023

• fix isNotEmpty for SymbolicState

  SBOne-Kenobi

  committed
  3884672

  Copy full SHA for 3884672

• add unwrapping casts

  SBOne-Kenobi

  committed
  81ec7a0

  Copy full SHA for 81ec7a0

• handle any numeric value in table switch

  SBOne-Kenobi

  committed
  2ae0449

  Copy full SHA for 2ae0449

• fix parsing multiline strings in kfg

  SBOne-Kenobi

  committed
  73f54c9

  Copy full SHA for 73f54c9

• handle bad path resolving

  SBOne-Kenobi

  committed
  48f65c2

  Copy full SHA for 48f65c2