Merge pull request #5359 from smowton/smowton/feature/lambda-boxing

Java frontend: add support for lambdas that require generating boxing, unboxing, widening casts and upcasts

Author: smowton

jbmc/regression/jbmc/lambda-boxing/Boolean.desc

@@ -0,0 +1,9 @@
+CORE
+BoxingLambda
+--function BoxingLambda.testBoolean --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+\[java::BoxingLambda\.testBoolean:\(\)V\.assertion\.1\] line 73 assertion at file BoxingLambda\.java line 73 function java::BoxingLambda\.testBoolean:\(\)V bytecode-index 25: SUCCESS
+\[java::BoxingLambda\.testBoolean:\(\)V\.assertion\.2\] line 74 assertion at file BoxingLambda\.java line 74 function java::BoxingLambda\.testBoolean:\(\)V bytecode-index 35: SUCCESS
+\[java::BoxingLambda\.testBoolean:\(\)V\.assertion\.3\] line 75 assertion at file BoxingLambda\.java line 75 function java::BoxingLambda\.testBoolean:\(\)V bytecode-index 47: SUCCESS
+\[java::BoxingLambda\.testBoolean:\(\)V\.assertion\.4\] line 76 assertion at file BoxingLambda\.java line 76 function java::BoxingLambda\.testBoolean:\(\)V bytecode-index 53: FAILURE
+^EXIT=10$
+^SIGNAL=0$