the default path constraint is True #54
Annotations
1 error and 20 warnings
|
Test
Process completed with exit code 1.
|
|
Build examples (release mode):
Examples/ExceptionHandling.cs#L45
The variable 'e' is declared but never used
|
|
Build examples (release mode):
Examples/Concolic/Features/Objects/MethodsWithObjectParameter.cs#L32
Field 'AbstractClass._field' is never assigned to, and will always have its default value 0
|
|
Build examples (release mode):
Examples/TestGeneration/ArrayElementSchema.cs#L12
The field 'ArrayElementSchema._refArray' is never used
|
|
Build examples (release mode):
Examples/TestGeneration/ArrayElementSchema.cs#L11
Field 'ArrayElementSchema._valArray' is never assigned to, and will always have its default value null
|
|
Build examples (release mode):
Examples/TestGeneration/ArrayElementSchema.cs#L13
The field 'ArrayElementSchema._id' is assigned but its value is never used
|
|
Build examples (release mode):
Examples/ExceptionHandling.cs#L45
The variable 'e' is declared but never used
|
|
Build examples (release mode):
Examples/TestGeneration/ArrayElementSchema.cs#L12
The field 'ArrayElementSchema._refArray' is never used
|
|
Build examples (release mode):
Examples/Concolic/Features/Objects/MethodsWithObjectParameter.cs#L32
Field 'AbstractClass._field' is never assigned to, and will always have its default value 0
|
|
Build examples (release mode):
Examples/TestGeneration/ArrayElementSchema.cs#L11
Field 'ArrayElementSchema._valArray' is never assigned to, and will always have its default value null
|
|
Build examples (release mode):
Examples/TestGeneration/ArrayElementSchema.cs#L13
The field 'ArrayElementSchema._id' is assigned but its value is never used
|
|
Build:
Examples/ExceptionHandling.cs#L45
The variable 'e' is declared but never used
|
|
Build:
Examples/TestGeneration/ArrayElementSchema.cs#L12
The field 'ArrayElementSchema._refArray' is never used
|
|
Build:
Examples/TestGeneration/ArrayElementSchema.cs#L11
Field 'ArrayElementSchema._valArray' is never assigned to, and will always have its default value null
|
|
Build:
Examples/Concolic/Features/Objects/MethodsWithObjectParameter.cs#L32
Field 'AbstractClass._field' is never assigned to, and will always have its default value 0
|
|
Build:
Examples/TestGeneration/ArrayElementSchema.cs#L13
The field 'ArrayElementSchema._id' is assigned but its value is never used
|
|
Build:
Examples/ExceptionHandling.cs#L45
The variable 'e' is declared but never used
|
|
Build:
Examples/TestGeneration/ArrayElementSchema.cs#L11
Field 'ArrayElementSchema._valArray' is never assigned to, and will always have its default value null
|
|
Build:
Examples/Concolic/Features/Objects/MethodsWithObjectParameter.cs#L32
Field 'AbstractClass._field' is never assigned to, and will always have its default value 0
|
|
Build:
Examples/TestGeneration/ArrayElementSchema.cs#L12
The field 'ArrayElementSchema._refArray' is never used
|
|
Build:
Examples/TestGeneration/ArrayElementSchema.cs#L13
The field 'ArrayElementSchema._id' is assigned but its value is never used
|
Loading