Example

invalid_add_shape_mismatch.kina

This program is expected to fail type or shape checking.

Source

(tensor<F32, [2, 3]> + tensor<F32, [2, 4]>)