[TS] Extract parts of TsState into specific data structures

Open
#319 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
5/5
Estimated time
Over a week
Newbie friendliness
30/100
Issue type
Refactor
Clarity
Needs clarification
Activity status
Stale
Tech stack
kotlin
Domain
compilers

Research direction

Start by locating the definition and usages of TsState, then identify which state belongs to ptr-call and promise use cases. Done means those concerns are held in separate data structures without changing existing behavior, but the issue does not name files or tests to verify.

Written by the indexing model from the issue text.

Description

We need to extract the parts of TsState into specific data structures for each use case. For example, all ptr-call-related maps could go into one separate class, similar for promise-related state.

Dominant language
Kotlin
Stars
33
Forks
27
Avg merge
4d 3h
Merged PRs (30d)
15

Contributor guide

No contributing guide indexed for this repository

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 UnitTestBot/usvm

All issues in UnitTestBot/usvm

Similar issues

More Kotlin issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.