Search results

New cheatcode: symbolicStorage variant that preserves existing storage assignments

Status: Open.

#1138 In runtimeverification/kontrol;

· lisandrasilva opened on Apr 21, 2026

Implement vm.getStorageSlots cheatcode

Status: Open.

#1137 In runtimeverification/kontrol;

· lisandrasilva opened on Apr 21, 2026

kontrol simplify-node --config-profile <profile> ignores kontrol.toml and specified profile

Status: Open.

#1134 In runtimeverification/kontrol;

· juliankuners opened on Apr 13, 2026

kontrol simplify-node --lemmas broken

Status: Open.

#1133 In runtimeverification/kontrol;

· juliankuners opened on Apr 13, 2026

Introduce additional auxiliary functions to KontrolTest

Status: Open.

#1083 In runtimeverification/kontrol;

· palinatolmach opened on Sep 30, 2025

Kontrol does not idendify tests if Contracts are duplicated

Status: Open.

#1062 In runtimeverification/kontrol;

· anvacaru opened on Aug 8, 2025

Kontrol returns incorrect counterexample for failing test

Status: Open.

#1054 In runtimeverification/kontrol;

· lucasmt opened on Jul 15, 2025

Keccak lemma can cause important cases to be overlooked in a test

Status: Open.

#1053 In runtimeverification/kontrol;

· lucasmt opened on Jul 15, 2025

Refactor the printing of failure information in kontrol show

Status: Open.

#1048 In runtimeverification/kontrol;

· anvacaru opened on Jul 8, 2025

Exclude setUp from test count in the report

Status: Open.

#1038 In runtimeverification/kontrol;

· palinatolmach opened on Jun 9, 2025

Empty entries printed in the kaas remote compute job

Status: Open.

#1020 In runtimeverification/kontrol;

· yiyi-wang-rv opened on Apr 28, 2025

Updates to Kontrol Documentation

Status: Open.

#1018 In runtimeverification/kontrol;

· ehildenb opened on Apr 27, 2025