Search results

Improve hex encoding, use it by default in kontrol show

cli

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#505 In runtimeverification/kontrol;

· anvacaru opened on Apr 3, 2024

<code>kontrol show</code> crashes if more than one test match the prefix

bugSomething isn't workingSomething isn't working

cli

Status: Open.

#363 In runtimeverification/kontrol;

· lucasmt opened on Feb 12, 2024

Add <code>--symbolic-storage</code> option to CLI

cli

enhancementNew feature or requestNew feature or request

Status: Open.

#288 In runtimeverification/kontrol;

· palinatolmach opened on Jan 17, 2024

Add <code>simplify-node lemma</code> feature

cli

enhancementNew feature or requestNew feature or request

Status: Open.

#149 In runtimeverification/kontrol;

· lisandrasilva opened on Oct 30, 2023

Add <code>--allow-failure</code> option to <code>kontrol prove</code>

cli

enhancementNew feature or requestNew feature or request

Status: Open.

#147 In runtimeverification/kontrol;

· palinatolmach opened on Oct 30, 2023