kc3-lang/kc3/test/facts_test_log_remove.expected.facts

• Show log

  Commit

• Hash : cdc4416f
  Author : Thomas de Grivel
  Date : 2024-07-27T20:40:49
  

  buf_inspect_s, buf_inspect_u: print cast when necessary

Download

• test/facts_test_log_remove.expected.facts

• add {"a", "a", "a"}
  add {:a, :a, :a}
  add {A, A, A}
  add {a, a, a}
  add {[], [], []}
  add {[[], []], [[], []], [[], []]}
  add {{:a, :b}, {:a, :b}, {:a, :b}}
  add {{{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}}
  add {{a, b}, {a, b}, {a, b}}
  add {{{a, b}, {c, d}}, {{a, b}, {c, d}}, {{a, b}, {c, d}}}
  add {(U8) 0, (U8) 0, (U8) 0}
  add {(U8) 1, (U8) 1, (U8) 1}
  add {(U8) 10, (U8) 10, (U8) 10}
  add {(U16) 256, (U16) 256, (U16) 256}
  add {(U32) 65536, (U32) 65536, (U32) 65536}
  add {(U64) 4294967296, (U64) 4294967296, (U64) 4294967296}
  add {18446744073709551616, 18446744073709551616, 18446744073709551616}
  add {(S8) -1, (S8) -1, (S8) -1}
  add {(S8) -10, (S8) -10, (S8) -10}
  add {(S16) -256, (S16) -256, (S16) -256}
  add {(S32) -65536, (S32) -65536, (S32) -65536}
  add {(S64) -4294967296, (S64) -4294967296, (S64) -4294967296}
  add {-18446744073709551616, -18446744073709551616, -18446744073709551616}
  remove {-18446744073709551616, -18446744073709551616, -18446744073709551616}
  remove {(S64) -4294967296, (S64) -4294967296, (S64) -4294967296}
  remove {(S32) -65536, (S32) -65536, (S32) -65536}
  remove {(S16) -256, (S16) -256, (S16) -256}
  remove {(S8) -10, (S8) -10, (S8) -10}
  remove {(S8) -1, (S8) -1, (S8) -1}
  remove {18446744073709551616, 18446744073709551616, 18446744073709551616}
  remove {(U64) 4294967296, (U64) 4294967296, (U64) 4294967296}
  remove {(U32) 65536, (U32) 65536, (U32) 65536}
  remove {(U16) 256, (U16) 256, (U16) 256}
  remove {(U8) 10, (U8) 10, (U8) 10}
  remove {(U8) 1, (U8) 1, (U8) 1}
  remove {(U8) 0, (U8) 0, (U8) 0}
  remove {{{a, b}, {c, d}}, {{a, b}, {c, d}}, {{a, b}, {c, d}}}
  remove {{a, b}, {a, b}, {a, b}}
  remove {{{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}}
  remove {{:a, :b}, {:a, :b}, {:a, :b}}
  remove {[[], []], [[], []], [[], []]}
  remove {[], [], []}
  remove {a, a, a}
  remove {A, A, A}
  remove {:a, :a, :a}
  remove {"a", "a", "a"}
  

Download