Search results

[BUG] Resolve test failures caused by new KSMT version

bugSomething isn't workingSomething isn't working

Status: Open.

#116 In vorpal-research/kex;

· AbdullinAM opened on Jun 24, 2024

Add support of the custom Java version

enhancementNew feature or requestNew feature or request

Status: Open.

#115 In vorpal-research/kex;

· AbdullinAM opened on Jun 6, 2024

Migrate Docker image publishing from separate repository to this one

infrastructureInfrastructure related questionsInfrastructure related questions

Status: Open.

#114 In vorpal-research/kex;

· AbdullinAM opened on Jun 3, 2024

More custom generators for classes from standard library

enhancementNew feature or requestNew feature or request

Status: Open.

#113 In vorpal-research/kex;

· AbdullinAM opened on Jun 3, 2024

InvokeDynamic handler for both concolic and symbolic modes

enhancementNew feature or requestNew feature or request

Status: Open.

#73 In vorpal-research/kex;

· AbdullinAM opened on Jan 3, 2023

Path selector for symbolic traverser

enhancementNew feature or requestNew feature or request

Status: Open.

#72 In vorpal-research/kex;

· AbdullinAM opened on Jan 3, 2023

Migrate to Gradle build

enhancementNew feature or requestNew feature or request

Status: Open.

#65 In vorpal-research/kex;

· AbdullinAM opened on Jul 4, 2022

Better codegen in Reanimator

enhancementNew feature or requestNew feature or request

Status: Open.

#34 In vorpal-research/kex;

· AbdullinAM opened on May 25, 2021

Learn to handle Reanimator corner cases

enhancementNew feature or requestNew feature or request

Status: Open.

#33 In vorpal-research/kex;

· AbdullinAM opened on May 25, 2021