Skip to content

Commit 200c936

Browse files
smowtonsmowton
committed
Add tests for lambdas that perform simeltaneous primitive widening and boxing/unboxing
1 parent 3942780 commit 200c936

16 files changed

+144
-0
lines changed

‎jbmc/regression/jbmc/lambda-boxing/ByteToLong.desc‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
CORE
2+
PrimitiveWideningWithBoxing
3+
--function PrimitiveWideningWithBoxing\.testByteToLong --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
4+
\[java::PrimitiveWideningWithBoxing\.testByteToLong:\(\)V\.assertion\.1\] line 26 assertion at file PrimitiveWideningWithBoxing\.java line 26 function java::PrimitiveWideningWithBoxing\.testByteToLong:\(\)V bytecode-index 15: SUCCESS
5+
\[java::PrimitiveWideningWithBoxing\.testByteToLong:\(\)V\.assertion\.2\] line 27 assertion at file PrimitiveWideningWithBoxing\.java line 27 function java::PrimitiveWideningWithBoxing\.testByteToLong:\(\)V bytecode-index 21: FAILURE
6+
^EXIT=10$
7+
^SIGNAL=0$

‎jbmc/regression/jbmc/lambda-boxing/DoubleToFloat.desc‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
CORE
2+
PrimitiveWideningWithBoxing
3+
--function PrimitiveWideningWithBoxing\.testDoubleToFloat --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
4+
\[java::PrimitiveWideningWithBoxing\.testDoubleToFloat:\(\)V\.assertion\.1\] line 66 assertion at file PrimitiveWideningWithBoxing\.java line 66 function java::PrimitiveWideningWithBoxing\.testDoubleToFloat:\(\)V bytecode-index 13: SUCCESS
5+
\[java::PrimitiveWideningWithBoxing\.testDoubleToFloat:\(\)V\.assertion\.2\] line 67 assertion at file PrimitiveWideningWithBoxing\.java line 67 function java::PrimitiveWideningWithBoxing\.testDoubleToFloat:\(\)V bytecode-index 19: FAILURE
6+
^EXIT=10$
7+
^SIGNAL=0$

‎jbmc/regression/jbmc/lambda-boxing/FloatToDouble.desc‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
CORE
2+
PrimitiveWideningWithBoxing
3+
--function PrimitiveWideningWithBoxing\.testFloatToDouble --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
4+
\[java::PrimitiveWideningWithBoxing\.testFloatToDouble:\(\)V\.assertion\.1\] line 44 assertion at file PrimitiveWideningWithBoxing\.java line 44 function java::PrimitiveWideningWithBoxing\.testFloatToDouble:\(\)V bytecode-index 15: SUCCESS
5+
\[java::PrimitiveWideningWithBoxing\.testFloatToDouble:\(\)V\.assertion\.2\] line 45 assertion at file PrimitiveWideningWithBoxing\.java line 45 function java::PrimitiveWideningWithBoxing\.testFloatToDouble:\(\)V bytecode-index 21: FAILURE
6+
^EXIT=10$
7+
^SIGNAL=0$

‎jbmc/regression/jbmc/lambda-boxing/IntToLong.desc‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
CORE
2+
PrimitiveWideningWithBoxing
3+
--function PrimitiveWideningWithBoxing\.testIntToLong --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
4+
\[java::PrimitiveWideningWithBoxing\.testIntToLong:\(\)V\.assertion\.1\] line 38 assertion at file PrimitiveWideningWithBoxing\.java line 38 function java::PrimitiveWideningWithBoxing\.testIntToLong:\(\)V bytecode-index 15: SUCCESS
5+
\[java::PrimitiveWideningWithBoxing\.testIntToLong:\(\)V\.assertion\.2\] line 39 assertion at file PrimitiveWideningWithBoxing\.java line 39 function java::PrimitiveWideningWithBoxing\.testIntToLong:\(\)V bytecode-index 21: FAILURE
6+
^EXIT=10$
7+
^SIGNAL=0$

‎jbmc/regression/jbmc/lambda-boxing/LongToByte.desc‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
CORE
2+
PrimitiveWideningWithBoxing
3+
--function PrimitiveWideningWithBoxing\.testLongToByte --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
4+
\[java::PrimitiveWideningWithBoxing\.testLongToByte:\(\)V\.assertion\.1\] line 72 assertion at file PrimitiveWideningWithBoxing\.java line 72 function java::PrimitiveWideningWithBoxing\.testLongToByte:\(\)V bytecode-index 13: SUCCESS
5+
\[java::PrimitiveWideningWithBoxing\.testLongToByte:\(\)V\.assertion\.2\] line 73 assertion at file PrimitiveWideningWithBoxing\.java line 73 function java::PrimitiveWideningWithBoxing\.testLongToByte:\(\)V bytecode-index 19: FAILURE
6+
^EXIT=10$
7+
^SIGNAL=0$

‎jbmc/regression/jbmc/lambda-boxing/LongToInt.desc‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
CORE
2+
PrimitiveWideningWithBoxing
3+
--function PrimitiveWideningWithBoxing\.testLongToInt --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
4+
\[java::PrimitiveWideningWithBoxing\.testLongToInt:\(\)V\.assertion\.1\] line 84 assertion at file PrimitiveWideningWithBoxing\.java line 84 function java::PrimitiveWideningWithBoxing\.testLongToInt:\(\)V bytecode-index 13: SUCCESS
5+
\[java::PrimitiveWideningWithBoxing\.testLongToInt:\(\)V\.assertion\.2\] line 85 assertion at file PrimitiveWideningWithBoxing\.java line 85 function java::PrimitiveWideningWithBoxing\.testLongToInt:\(\)V bytecode-index 19: FAILURE
6+
^EXIT=10$
7+
^SIGNAL=0$

‎jbmc/regression/jbmc/lambda-boxing/LongToShort.desc‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
CORE
2+
PrimitiveWideningWithBoxing
3+
--function PrimitiveWideningWithBoxing\.testLongToShort --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
4+
\[java::PrimitiveWideningWithBoxing\.testLongToShort:\(\)V\.assertion\.1\] line 78 assertion at file PrimitiveWideningWithBoxing\.java line 78 function java::PrimitiveWideningWithBoxing\.testLongToShort:\(\)V bytecode-index 13: SUCCESS
5+
\[java::PrimitiveWideningWithBoxing\.testLongToShort:\(\)V\.assertion\.2\] line 79 assertion at file PrimitiveWideningWithBoxing\.java line 79 function java::PrimitiveWideningWithBoxing\.testLongToShort:\(\)V bytecode-index 19: FAILURE
6+
^EXIT=10$
7+
^SIGNAL=0$

‎jbmc/regression/jbmc/lambda-boxing/PrimitiveWideningWithBoxing$ByteToLong.class‎

277 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/lambda-boxing/PrimitiveWideningWithBoxing$DoubleToDouble.class‎

255 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/lambda-boxing/PrimitiveWideningWithBoxing$FloatToDouble.class‎

286 Bytes
Binary file not shown.

0 commit comments

Comments
 (0)