Code

Fix build_rule#4744

Code

Merged

automergerpr-permission-manager[bot] merged 4 commits intodevelopruntimeverification/k:developfrom fix-build-ruleruntimeverification/k:fix-build-ruleCopy head branch name to clipboardJan 23, 2025

+56-9

Commits

Commits on Jan 22, 2025

• keep the sort of the variables during new var introduction for build_rule

  Stevengre

  committed
  0c6fb94

  Copy full SHA for 0c6fb94

Commits on Jan 23, 2025

• add tests for this modification

  Stevengre

  committed
  bbc7fe6

  Copy full SHA for bbc7fe6

• give sort to the generated var

  Stevengre

  committed
  8fceb90

  Copy full SHA for 8fceb90

• Update pyk/src/tests/unit/kast/test_inner.py

  ehildenb

  authored
  78f9923

  Copy full SHA for 78f9923