tuple.out.expected

Branch :

Show log
Commit
Author : Thomas de Grivel
Date : 2023-07-25 23:08:48
Hash : 5da26941
Message : remove whitespace from ic3

test/ic3/tuple.out.expected

{(), ()}
{"", ""}
{(), ""}
{"", ()}
{:a, :b}
{:a, :b, :c}
{:a, :b, :c, :d}
{:a, :b, :c, :d, :e}
{:a, :b, :c, :d, :e, :f}
{:a, :b, :c, :d, :e, :f, :g}
{:a, :b, :c, :d, :e, :f, :g, :h}
{:a, :b, :c, :d, :e, :f, :g, :h, :i}
{:a, :b, :c, :d, :e, :f, :g, :h, :i, :j}
{{:a, :b}, {:c, :d}}
{{:a, :b}, {:c, :d}, {:e, :f}}
{{:a, :b}, {:c, :d}, {:e, :f}, {:g, :h}}
{{:a, :b}, {:c, :d}, {:e, :f}, {:g, :h}, {:i, :j}}
{:a, :b, :c}
{a, b, c}

kc3-lang/kc3/test/ic3/tuple.out.expected

Commit

kc3-lang/kc3 /test/ic3/tuple.out.expected