Skip to content

Commit c365a7a

Browse files
committed
Add several new classes to samples - Yuri said that it is enough
1 parent 1362ac7 commit c365a7a

File tree

1 file changed

+4
-1
lines changed
  • utbot-junit-contest/src/main/resources/classes/samples

1 file changed

+4
-1
lines changed

utbot-junit-contest/src/main/resources/classes/samples/list

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,4 +40,7 @@ org.usvm.samples.invokes.NativeExample
4040
org.usvm.samples.invokes.SimpleInterfaceExample
4141
org.usvm.samples.invokes.StaticInvokeExample
4242
org.usvm.samples.invokes.VirtualInvokeExample
43-
org.usvm.samples.invokes.VirtualInvokeNestedIteExample
43+
org.usvm.samples.invokes.VirtualInvokeNestedIteExample
44+
org.usvm.samples.loops.While
45+
org.usvm.samples.enums.SimpleEnumExample
46+
org.usvm.samples.enums.ComplexEnumExamples

0 commit comments

Comments
 (0)