[K-Improvement] <Support Default Values for Configuration Variables>
Nobody has claimed this yet.
Assessment
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Newbie friendliness
- 45/100
- Issue type
- Feature
- Clarity
- Mostly clear
- Activity status
- Stale
- Domain
- cli
Research direction
Start by tracing how krun parses configuration assignments supplied with -c, then compare that path with the configuration syntax shown in the issue. Verify that running the two example commands produces the same result when TYPE has its declared default, while explicitly supplied values still override defaults.
Written by the indexing model from the issue text.
Description
Currently, K Framework's configuration supports user input via the krun -c<VariableName>=<Value> command, offering flexibility in specifying configuration options. However, when dealing with a large number of parameters, manually specifying each value becomes cumbersome. To enhance user experience, it would be beneficial to introduce a mechanism for specifying default values for configuration variables. This would allow users to omit specifying values for variables that have predefined defaults.
It would be great to run the program krun program -cSEED=953 and getting the same result as krun program -cSEED=953 -cTYPE=C5 with configuration below
configuration <T>
<seed> $SEED=0 </seed>
<type> $TYPE="C5" </type>
</T>
- Dominant language
- Python
- Stars
- 591
- Forks
- 163
- PR merge metrics
- No merged PRs in 30d
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from runtimeverification/k
-
runtimeverification/k#4939 · 1 assignee ·
-
Concolic Explorer Open
Difficulty 5/5 Over a week Newbie friendliness 32/100
runtimeverification/k#4937 ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
runtimeverification/k#4936 ·
-
type:epic
runtimeverification/k#4934 · 4 comments · 1 assignee ·
-
runtimeverification/k#4924 · 1 assignee ·
All issues in runtimeverification/k
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
bancolombia/sentinel#23 ·
-
test md OpenCI
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
-
integration:quickjs org:external priority:backlog topic:code-interpreter topic:middleware type:feature
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
langchain-ai/deepagents#6450 ·
-
bug client
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100