forked from klee/klee
-
Notifications
You must be signed in to change notification settings - Fork 11
Open
Labels
bugSomething isn't workingSomething isn't workingenhancementNew feature or requestNew feature or request
Description
Moved from UnitTestBot/UTBotCpp#324
Description
Add conditional (ternary) operator ? : support.
Current behavior
Source code:
int ternary_positive(int n) {
int res = n >= 0 ? 1 : 0;
return res;
}
Only one test generated
Expected behavior More tests generated.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't workingenhancementNew feature or requestNew feature or request