kc3-lang/kc3/test/facts_test_open_file.3.expected.facts
-
Show log
Commit
-
Hash : 7c4d5eda
Author :
Thomas de Grivel
Date : 2024-07-29T12:48:09
wip tests (U8) 0
-
test/facts_test_open_file.3.expected.facts
-
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140
%{module: KC3.Facts.Dump, version: 1} add {a, a, a} add {-18446744073709551616, -18446744073709551616, -18446744073709551616} add {18446744073709551616, 18446744073709551616, 18446744073709551616} add {(S64) -4294967296, (S64) -4294967296, (S64) -4294967296} add {(S32) -65536, (S32) -65536, (S32) -65536} add {(S16) -256, (S16) -256, (S16) -256} add {(S8) -10, (S8) -10, (S8) -10} add {(S8) -1, (S8) -1, (S8) -1} 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 {[], [], []} add {[[], []], [[], []], [[], []]} add {"a", "a", "a"} add {A, A, A} add {:a, :a, :a} add {{a, b}, {a, b}, {a, b}} add {{:a, :b}, {:a, :b}, {:a, :b}} add {{{a, b}, {c, d}}, {{a, b}, {c, d}}, {{a, b}, {c, d}}} add {{{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}} add {b, b, b} add {-18446744073709551617, -18446744073709551617, -18446744073709551617} add {18446744073709551617, 18446744073709551617, 18446744073709551617} add {(S64) -4294967297, (S64) -4294967297, (S64) -4294967297} add {(S32) -65537, (S32) -65537, (S32) -65537} add {(S16) -257, (S16) -257, (S16) -257} add {(S8) -11, (S8) -11, (S8) -11} add {(S8) -2, (S8) -2, (S8) -2} add {(U8) 2, (U8) 2, (U8) 2} add {(U8) 3, (U8) 3, (U8) 3} add {(U8) 11, (U8) 11, (U8) 11} add {(U16) 257, (U16) 257, (U16) 257} add {(U32) 65537, (U32) 65537, (U32) 65537} add {(U64) 4294967297, (U64) 4294967297, (U64) 4294967297} add {[[] | []], [[] | []], [[] | []]} add {[[[] | []], []], [[[] | []], []], [[[] | []], []]} add {"b", "b", "b"} add {B, B, B} add {:b, :b, :b} add {{b, b}, {b, b}, {b, b}} add {{:b, :b}, {:b, :b}, {:b, :b}} add {{{b, b}, {c, d}}, {{b, b}, {c, d}}, {{b, b}, {c, d}}} add {{{:b, :b}, {:c, :d}}, {{:b, :b}, {:c, :d}}, {{:b, :b}, {:c, :d}}} remove {a, a, a} remove {-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 {(U8) 0, (U8) 0, (U8) 0} remove {(U8) 1, (U8) 1, (U8) 1} remove {(U8) 10, (U8) 10, (U8) 10} remove {(U16) 256, (U16) 256, (U16) 256} remove {(U32) 65536, (U32) 65536, (U32) 65536} remove {(U64) 4294967296, (U64) 4294967296, (U64) 4294967296} remove {[], [], []} remove {[[], []], [[], []], [[], []]} remove {"a", "a", "a"} remove {A, A, A} remove {:a, :a, :a} remove {{a, b}, {a, b}, {a, b}} remove {{:a, :b}, {:a, :b}, {:a, :b}} remove {{{a, b}, {c, d}}, {{a, b}, {c, d}}, {{a, b}, {c, d}}} remove {{{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}, {{:a, :b}, {:c, :d}}} remove {b, b, b} remove {-18446744073709551617, -18446744073709551617, -18446744073709551617} remove {18446744073709551617, 18446744073709551617, 18446744073709551617} remove {(S64) -4294967297, (S64) -4294967297, (S64) -4294967297} remove {(S32) -65537, (S32) -65537, (S32) -65537} remove {(S16) -257, (S16) -257, (S16) -257} remove {(S8) -11, (S8) -11, (S8) -11} remove {(S8) -2, (S8) -2, (S8) -2} remove {(U8) 2, (U8) 2, (U8) 2} remove {(U8) 3, (U8) 3, (U8) 3} remove {(U8) 11, (U8) 11, (U8) 11} remove {(U16) 257, (U16) 257, (U16) 257} remove {(U32) 65537, (U32) 65537, (U32) 65537} remove {(U64) 4294967297, (U64) 4294967297, (U64) 4294967297} remove {[[] | []], [[] | []], [[] | []]} remove {[[[] | []], []], [[[] | []], []], [[[] | []], []]} remove {"b", "b", "b"} remove {B, B, B} remove {:b, :b, :b} remove {{b, b}, {b, b}, {b, b}} remove {{:b, :b}, {:b, :b}, {:b, :b}} remove {{{b, b}, {c, d}}, {{b, b}, {c, d}}, {{b, b}, {c, d}}} remove {{{:b, :b}, {:c, :d}}, {{:b, :b}, {:c, :d}}, {{:b, :b}, {:c, :d}}} 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} add {"b", "b", "b"} add {:b, :b, :b} add {B, B, B} add {b, b, b} add {[[]], [[]], [[]]} add {[[[]], []], [[[]], []], [[[]], []]} add {{:b, :b}, {:b, :b}, {:b, :b}} add {{{:b, :b}, {:c, :d}}, {{:b, :b}, {:c, :d}}, {{:b, :b}, {:c, :d}}} add {{b, b}, {b, b}, {b, b}} add {{{b, b}, {c, d}}, {{b, b}, {c, d}}, {{b, b}, {c, d}}} add {(U8) 2, (U8) 2, (U8) 2} add {(U8) 3, (U8) 3, (U8) 3} add {(U8) 11, (U8) 11, (U8) 11} add {(U16) 257, (U16) 257, (U16) 257} add {(U32) 65537, (U32) 65537, (U32) 65537} add {(U64) 4294967297, (U64) 4294967297, (U64) 4294967297} add {18446744073709551617, 18446744073709551617, 18446744073709551617} add {(S8) -2, (S8) -2, (S8) -2} add {(S8) -11, (S8) -11, (S8) -11} add {(S16) -257, (S16) -257, (S16) -257} add {(S32) -65537, (S32) -65537, (S32) -65537} add {(S64) -4294967297, (S64) -4294967297, (S64) -4294967297} add {-18446744073709551617, -18446744073709551617, -18446744073709551617}