- Notifications
You must be signed in to change notification settings - Fork 45
Closed
Labels
comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution enginectg-bugIssue is a bugIssue is a bug
Description
Description
Generated tests for enum contain methods testing valueOf
To Reproduce
- Run Contest Estimator with method
com.google.common.base.CaseFormat.*and 300s time limit.
Actual behavior
Generated tests contain the following:
@Test //@org.junit.jupiter.api.DisplayName("valueOf: arg_0 = blank string -> throw IllegalArgumentException") public void testValueOfThrowsIAEWithBlankString() { /* This test fails because executable under testing com.google.common.base.CaseFormat.valueOf produces Runtime exception java.lang.IllegalArgumentException: No enum constant com.google.common.base.CaseFormat. */ CaseFormat.valueOf(" "); } @Test //@org.junit.jupiter.api.DisplayName("valueOf: arg_0 has special characters -> throw IllegalArgumentException") public void testValueOfThrowsIAEWithBlankString1() { /* This test fails because executable under testing com.google.common.base.CaseFormat.valueOf produces Runtime exception java.lang.IllegalArgumentException: No enum constant com.google.common.base.CaseFormat. */ CaseFormat.valueOf("\n\t\r"); }Metadata
Metadata
Assignees
Labels
comp-symbolic-engineIssue is related to the symbolic execution engineIssue is related to the symbolic execution enginectg-bugIssue is a bugIssue is a bug
Type
Projects
Status
Done