Search results

Use SMT formula satisfiability check caches

enhancementNew feature or requestNew feature or request

Status: Open.

#297 In UnitTestBot/usvm;

· Saloed opened on Jun 25, 2025

Support new field declaration for instances

Status: Open.

#288 In UnitTestBot/usvm;

· CaelmBleidd opened on Jun 6, 2025

Add support for multidimensional arrays in ETS

Status: Open.

#287 In UnitTestBot/usvm;

· CaelmBleidd opened on Jun 6, 2025

Incorrect objects transformation inside of TsBinaryOperator

Status: Open.

#281 In UnitTestBot/usvm;

· CaelmBleidd opened on May 22, 2025

Incorrect mkNumericExpr implementation

Status: Open.

#280 In UnitTestBot/usvm;

· CaelmBleidd opened on May 22, 2025

<code>checkType</code> in <code>TSMethodTestRunner</code> is not implemented

Status: Open.

#203 In UnitTestBot/usvm;

· zishkaz opened on Aug 6, 2024

<code>resolveObject</code> fails with <code>IndexOutOfBoundsException</code>

bugSomething isn't workingSomething isn't working

Status: Open.

#164 In UnitTestBot/usvm;

· IlyaMuravjov opened on Nov 29, 2023

Incorrect types in execution lead to compilation errors

bugSomething isn't workingSomething isn't working

Status: Open.

#163 In UnitTestBot/usvm;

· EgorkaKulikov opened on Nov 29, 2023

JcStateResolver crashed with Unexpected ref

bugSomething isn't workingSomething isn't working

Status: Open.

#162 In UnitTestBot/usvm;

· EgorkaKulikov opened on Nov 28, 2023

Multiple <code>lateinit property has not been initialized</code> exception during analysis

bugSomething isn't workingSomething isn't working

Status: Open.

#161 In UnitTestBot/usvm;

· EgorkaKulikov opened on Nov 28, 2023

Instrumentation timed out on one of <code>spoon</code> classes and was killed

bugSomething isn't workingSomething isn't working

Status: Open.

#156 In UnitTestBot/usvm;

· EgorkaKulikov opened on Nov 25, 2023

One of generated test classes crashes gradle verification task

questionFurther information is requestedFurther information is requested

Status: Open.

#153 In UnitTestBot/usvm;

· EgorkaKulikov opened on Nov 25, 2023