Enable `kore-rpc` string conversion tests

Open
#4,226 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
25/100
Issue type
Feature
Clarity
Needs clarification
Activity status
Stale
Tech stack
python
Domain
testing-qa

Research direction

Start by reading the referenced pyk integration test at src/tests/integration/test_string.py around line 150 and the blocking haskell-backend issue 3563. Determine what is required to enable the kore-rpc string conversion tests; done means those tests can run successfully once the blocker is resolved.

Written by the indexing model from the issue text.

Description

pyk

Blocked on: https://github.com/runtimeverification/haskell-backend/issues/3563

Here: https://github.com/runtimeverification/pyk/blob/df952b344c12eca2927466df80a9b89ecb093bad/src/tests/integration/test_string.py#L150

Dominant language
Python
Stars
591
Forks
163
No merged PRs in 30d

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from runtimeverification/k

All issues in runtimeverification/k

Similar issues

More Python issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.