Counter example for property_assert_test/observer

Inputs:

  • In1 = [[0; 0; 0]];
  • In2 = [[0; 0; 0]];
  • In3 = [[0; 1/2; -1]];
  • In4 = [[15 16 17;18 19 20]];
  • Outputs:

  • Out1 = [[1; 1/2; 2]];
  • Out2 = [[0 0 0;0 0 0]];