Owner

UnitTestBot

2 indexed repositories · View on GitHub

ksmt
Kotlin/Java API for various SMT solvers

Kotlin · 42 stars
usvm
Universal Symbolic Virtual Machine

Kotlin · 33 stars

Beginner friendly Everything

Open All

JcMachine failed with IllegalStateException: Invalid model containing wrong type Open

bug

UnitTestBot/usvm#118 · 1 assignee · Opened Nov 20, 2023
Incorrect setting collection field to null leads to further problems with iterator Open

bug

UnitTestBot/usvm#111 · 1 assignee · Opened Nov 16, 2023
NullPointerException is expected as a result of the correct test Open

bug

UnitTestBot/usvm#109 · 2 comments · 1 assignee · Opened Nov 15, 2023
Type parameters in generated tests lead to failing of `toJavaClass` Open

bug

UnitTestBot/usvm#108 · 2 comments · 1 assignee · Opened Nov 15, 2023
Generating tests for one method returns less test cases than for the whole class Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 45/100

UnitTestBot/usvm#107 · Opened Nov 15, 2023
Support constructing approximated objects Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

UnitTestBot/usvm#100 · Opened Nov 13, 2023
Support coverage of disjunctions in if statements Open

Difficulty 4/5 3-5 days Newbie friendliness 40/100

UnitTestBot/usvm#95 · Opened Nov 8, 2023
Support virtual entrypoints Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

UnitTestBot/usvm#93 · Opened Nov 7, 2023
NPE when using java.io.Reader/java.io.InputStreamReader Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 35/100

UnitTestBot/usvm#77 · Opened Oct 17, 2023
USVM freezes with java.security.SecureRandom (new SecureRandom()) Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 45/100

UnitTestBot/usvm#76 · Opened Oct 17, 2023
NPE when using java.lang.System.out/java.lang.System.err Open

bug

Difficulty 4/5 3-5 days Newbie friendliness 25/100

UnitTestBot/usvm#75 · Opened Oct 17, 2023
Java Analyzer check-list Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

UnitTestBot/usvm#25 · Opened Jun 19, 2023
The root issue for all TODOs Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

UnitTestBot/usvm#11 · Opened Mar 22, 2023
Thread safety Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

UnitTestBot/ksmt#54 · 1 comment · Opened Dec 13, 2022
Value classes instead of Longs in Z3 API Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

UnitTestBot/ksmt#44 · Opened Nov 29, 2022
Incomplete FP support Open

UnitTestBot/ksmt#24 · 1 assignee · Opened Sep 5, 2022

UnitTestBot

Get new issues in your inbox