Edit

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

Branch :

  • 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"}