blame | history | raw
ronnie
2022-10-14 1504bb53e29d3d46222c0b3ea994fc494b48e153 
1
2

Test that an aput on a null array is properly checked


by the verifier.