Issues

• [TS] Produce replayable witnesses for unrefined any references selected as strings

  UnitTestBot/usvm#592 · Filter by author CaelmBleidd opened on Oct 16, 2026

• [TS] Invoke declared class getters during property reads

  UnitTestBot/usvm#577 · Filter by author CaelmBleidd opened on Oct 16, 2026
  1

• [TS] Integrate computed class members without mixing symbol and string keys

  UnitTestBot/usvm#575 · Filter by author CaelmBleidd opened on Oct 16, 2026

• [TS PBT] Preserve runtime limitation reasons in property-search results

  UnitTestBot/usvm#555 · Filter by author CaelmBleidd opened on Oct 16, 2026

• [Calls] Ship reusable class discovery and re-audit the same frozen 200-class population

  UnitTestBot/usvm#498 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Preserve complete symbolic exceptional observations for class replay diagnostics

  UnitTestBot/usvm#497 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [TS] Convert supported symbolic numeric values to strings across shared language routes

  UnitTestBot/usvm#496 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Reconstruct bounded recursive and executable object state without flattening it

  UnitTestBot/usvm#495 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Freeze explicit generic and union class input domains independently of outcomes

  UnitTestBot/usvm#494 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Support bounded indexed-record inputs and complete class state snapshots

  UnitTestBot/usvm#493 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Preserve destructured and rest class parameters in frozen scenarios

  UnitTestBot/usvm#492 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Check private-member reachability through aliased and escaping receivers

  UnitTestBot/usvm#491 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Measure inherited and static class lifecycle without foreign-class coverage

  UnitTestBot/usvm#490 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Attribute nested closures and callbacks to a fixed class statement universe

  UnitTestBot/usvm#489 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Preserve module identity and live bindings in cyclic source replay

  UnitTestBot/usvm#488 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Execute bounded module initialization consistently in symbolic and native preparation

  UnitTestBot/usvm#487 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Support source-attested literal JSON require and import in class projects

  UnitTestBot/usvm#486 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Acquire and freeze generated sources and runtime assets for class preparation

  UnitTestBot/usvm#485 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Calls] Resolve frozen real-project imports with tsconfig and package metadata

  UnitTestBot/usvm#484 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Epic][Calls] Remove the infrastructure blockers found in the 200-class screen

  UnitTestBot/usvm#483 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [Paper] Discuss the engineering cost and type-domain limits of TypeScript models

  UnitTestBot/usvm#482 · Filter by author CaelmBleidd opened on Oct 14, 2026

• [TS] Support field assignments that change the runtime value sort

  UnitTestBot/usvm#467 · Filter by author CaelmBleidd opened on Oct 3, 2026

• [TS] Construct function-typed input values for symbolic execution

  enhancement
  Feature

  UnitTestBot/usvm#462 · Filter by author CaelmBleidd opened on Oct 2, 2026

• [TS] Execute Symbol values without treating them as references

  enhancement
  UnitTestBot/usvm#439 · Filter by author CaelmBleidd opened on Oct 2, 2026

• [TS] Replace the constant toString call approximation

  enhancement
  UnitTestBot/usvm#436 · Filter by author CaelmBleidd opened on Oct 2, 2026