test case generator (Cartesian product): unit test pass
This commit is contained in:
parent
b25d85e1dd
commit
e497f0a41e
3 changed files with 144 additions and 132 deletions
|
|
@ -807,135 +807,135 @@ END
|
|||
|
||||
|
||||
TEST "typelist manipulation" TypeListManip_test <<END
|
||||
out: List1 :-<1>-<2>-<3>-
|
||||
out: List2 :-<5>-<6>-<7>-
|
||||
out: Added2 :-<3>-<4>-<5>-
|
||||
out: FilterEven :-<2>-<6>-
|
||||
out: Append1 :-
|
||||
out: Append2 :-<11>-<22>-
|
||||
out: Append3 :-<111>-
|
||||
out: Append4 :-<222>-
|
||||
out: Append5 :-<1>-<2>-<3>-
|
||||
out: Append6 :-<5>-<6>-<7>-
|
||||
out: Append7 :-<111>-<5>-<6>-<7>-
|
||||
out: Append8 :-<1>-<2>-<3>-<222>-
|
||||
out: Append9 :-<1>-<2>-<3>-<5>-<6>-<7>-
|
||||
out: Overl01 :-
|
||||
out: Overl02 :-
|
||||
out: Overl03 :-
|
||||
out: Overl04 :-<9>-<8>-<3>-
|
||||
out: Overl05 :-<1>-<9>-<8>-
|
||||
out: Overl06 :-<1>-<2>-<9>-
|
||||
out: Overl07 :-<1>-<2>-<3>-
|
||||
out: Overl08 :-<1>-<2>-<3>-
|
||||
out: Overl09 :-<1>-<2>-<3>-
|
||||
out: Overl10 :-<1>-<1>-<2>-
|
||||
out: Overl11 :-<1>-<2>-<3>-
|
||||
out: Overl12 :-<1>-<2>-<3>-
|
||||
out: Overl13 :-<1>-<2>-<3>-
|
||||
out: Front1 :-
|
||||
out: Front2 :-<1>-
|
||||
out: Front3 :-<1>-<2>-<3>-
|
||||
out: Back1 :-<2>-<3>-
|
||||
out: Back2 :-<3>-
|
||||
out: Back3 :-
|
||||
out: Front4 :-<1>-
|
||||
out: Back4 :-<2>-<3>-
|
||||
out: Prefix :-<1>-<2>-
|
||||
out: ElmL :-<3>-
|
||||
out: NPrefix :-
|
||||
out: Types<Elm1> :-<3>-
|
||||
out: NList :-
|
||||
out: Types<Nil> :-
|
||||
out: LL :-<1>-<2>-<3>-<5>-<6>-<7>-
|
||||
out: List :-<1>-<2>-<3>-<5>-<6>-<7>-
|
||||
out: First :-<1>-
|
||||
out: Tail :-<2>-<3>-<5>-<6>-<7>-
|
||||
out: Prefix :-<1>-<2>-<3>-<5>-<6>-
|
||||
out: Last :-<7>-
|
||||
out: HeadEnd :-<1>-<7>-
|
||||
out: Prefix1 :
|
||||
out: \+---<11>-<22>-\+-
|
||||
out: Prefix2 :
|
||||
out: \+---<101>-<1>-\+
|
||||
out: \+---<101>-<2>-\+
|
||||
out: \+---<101>-<3>-\+-
|
||||
out: Prefix3 :
|
||||
out: \+---<1>-\+
|
||||
out: \+---<2>-\+
|
||||
out: \+---<3>-\+-
|
||||
out: Prefix4 :
|
||||
out: \+---<111>-<1>-<2>-<3>-\+
|
||||
out: \+---<111>-<0>-\+
|
||||
out: \+---<111>-<5>-<6>-<7>-\+-
|
||||
out: Prefix5 :
|
||||
out: \+---<1>-<2>-<3>-<5>-\+
|
||||
out: \+---<1>-<2>-<3>-<6>-\+
|
||||
out: \+---<1>-<2>-<3>-<7>-\+-
|
||||
out: Prefix6 :
|
||||
out: \+---<1>-<2>-<3>-<1>-<2>-<3>-\+
|
||||
out: \+---<1>-<2>-<3>-<0>-\+
|
||||
out: \+---<1>-<2>-<3>-<5>-<6>-<7>-\+-
|
||||
out: Dist1 :
|
||||
out: \+---<11>-<1>-\+
|
||||
out: \+---<11>-<2>-\+
|
||||
out: \+---<11>-<3>-\+-
|
||||
out: Dist2 :
|
||||
out: \+---<11>-<0>-\+
|
||||
out: \+---<22>-<0>-\+
|
||||
out: \+---<33>-<0>-\+-
|
||||
out: Dist3 :
|
||||
out: \+---<11>-<1>-\+
|
||||
out: \+---<11>-<2>-\+
|
||||
out: \+---<11>-<3>-\+
|
||||
out: \+---<22>-<1>-\+
|
||||
out: \+---<22>-<2>-\+
|
||||
out: \+---<22>-<3>-\+
|
||||
out: \+---<33>-<1>-\+
|
||||
out: \+---<33>-<2>-\+
|
||||
out: \+---<33>-<3>-\+-
|
||||
out: Dist4 :
|
||||
out: \+---<11>-<1>-<2>-<3>-\+
|
||||
out: \+---<11>-<5>-<6>-<7>-\+
|
||||
out: \+---<22>-<1>-<2>-<3>-\+
|
||||
out: \+---<22>-<5>-<6>-<7>-\+
|
||||
out: \+---<33>-<1>-<2>-<3>-\+
|
||||
out: \+---<33>-<5>-<6>-<7>-\+-
|
||||
out: Down :-<11>-<10>-<9>-<8>-<7>-<6>-<5>-<4>-<3>-<2>-<1>-<0>-
|
||||
out: Combi :
|
||||
out: \+---<1>-<2>-<3>-<·>-\+
|
||||
out: \+---<1>-<2>-<2>-<·>-\+
|
||||
out: \+---<1>-<2>-<1>-<·>-\+
|
||||
out: \+---<1>-<2>-<0>-<·>-\+
|
||||
out: \+---<1>-<1>-<3>-<·>-\+
|
||||
out: \+---<1>-<1>-<2>-<·>-\+
|
||||
out: \+---<1>-<1>-<1>-<·>-\+
|
||||
out: \+---<1>-<1>-<0>-<·>-\+
|
||||
out: \+---<1>-<0>-<3>-<·>-\+
|
||||
out: \+---<1>-<0>-<2>-<·>-\+
|
||||
out: \+---<1>-<0>-<1>-<·>-\+
|
||||
out: \+---<1>-<0>-<0>-<·>-\+
|
||||
out: \+---<0>-<2>-<3>-<·>-\+
|
||||
out: \+---<0>-<2>-<2>-<·>-\+
|
||||
out: \+---<0>-<2>-<1>-<·>-\+
|
||||
out: \+---<0>-<2>-<0>-<·>-\+
|
||||
out: \+---<0>-<1>-<3>-<·>-\+
|
||||
out: \+---<0>-<1>-<2>-<·>-\+
|
||||
out: \+---<0>-<1>-<1>-<·>-\+
|
||||
out: \+---<0>-<1>-<0>-<·>-\+
|
||||
out: \+---<0>-<0>-<3>-<·>-\+
|
||||
out: \+---<0>-<0>-<2>-<·>-\+
|
||||
out: \+---<0>-<0>-<1>-<·>-\+
|
||||
out: \+---<0>-<0>-<0>-<·>-\+-
|
||||
out: OnOff :
|
||||
out: \+---<1>-<2>-<3>-<·>-\+
|
||||
out: \+---<1>-<2>-<·>-\+
|
||||
out: \+---<1>-<3>-<·>-\+
|
||||
out: \+---<1>-<·>-\+
|
||||
out: \+---<2>-<3>-<·>-\+
|
||||
out: \+---<2>-<·>-\+
|
||||
out: \+---<3>-<·>-\+
|
||||
out: \+---<·>-\+-
|
||||
out-lit: List1 :-<1>-<2>-<3>-
|
||||
out-lit: List2 :-<5>-<6>-<7>-
|
||||
out-lit: Added2 :-<3>-<4>-<5>-
|
||||
out-lit: FilterEven :-<2>-<6>-
|
||||
out-lit: Append1 :-
|
||||
out-lit: Append2 :-<11>-<22>-
|
||||
out-lit: Append3 :-<111>-
|
||||
out-lit: Append4 :-<222>-
|
||||
out-lit: Append5 :-<1>-<2>-<3>-
|
||||
out-lit: Append6 :-<5>-<6>-<7>-
|
||||
out-lit: Append7 :-<111>-<5>-<6>-<7>-
|
||||
out-lit: Append8 :-<1>-<2>-<3>-<222>-
|
||||
out-lit: Append9 :-<1>-<2>-<3>-<5>-<6>-<7>-
|
||||
out-lit: Overl01 :-
|
||||
out-lit: Overl02 :-
|
||||
out-lit: Overl03 :-
|
||||
out-lit: Overl04 :-<9>-<8>-<3>-
|
||||
out-lit: Overl05 :-<1>-<9>-<8>-
|
||||
out-lit: Overl06 :-<1>-<2>-<9>-
|
||||
out-lit: Overl07 :-<1>-<2>-<3>-
|
||||
out-lit: Overl08 :-<1>-<2>-<3>-
|
||||
out-lit: Overl09 :-<1>-<2>-<3>-
|
||||
out-lit: Overl10 :-<1>-<1>-<2>-
|
||||
out-lit: Overl11 :-<1>-<2>-<3>-
|
||||
out-lit: Overl12 :-<1>-<2>-<3>-
|
||||
out-lit: Overl13 :-<1>-<2>-<3>-
|
||||
out-lit: Front1 :-
|
||||
out-lit: Front2 :-<1>-
|
||||
out-lit: Front3 :-<1>-<2>-<3>-
|
||||
out-lit: Back1 :-<2>-<3>-
|
||||
out-lit: Back2 :-<3>-
|
||||
out-lit: Back3 :-
|
||||
out-lit: Front4 :-<1>-
|
||||
out-lit: Back4 :-<2>-<3>-
|
||||
out-lit: Prefix :-<1>-<2>-
|
||||
out-lit: ElmL :-<3>-
|
||||
out-lit: NPrefix :-
|
||||
out-lit: Types<Elm1> :-<3>-
|
||||
out-lit: NList :-
|
||||
out-lit: Types<Nil> :-
|
||||
out-lit: LL :-<1>-<2>-<3>-<5>-<6>-<7>-
|
||||
out-lit: List :-<1>-<2>-<3>-<5>-<6>-<7>-
|
||||
out-lit: First :-<1>-
|
||||
out-lit: Tail :-<2>-<3>-<5>-<6>-<7>-
|
||||
out-lit: Prefix :-<1>-<2>-<3>-<5>-<6>-
|
||||
out-lit: Last :-<7>-
|
||||
out-lit: HeadEnd :-<1>-<7>-
|
||||
out-lit: Prefix1 :
|
||||
out-lit: +---<11>-<22>-+-
|
||||
out-lit: Prefix2 :
|
||||
out-lit: +---<101>-<1>-+
|
||||
out-lit: +---<101>-<2>-+
|
||||
out-lit: +---<101>-<3>-+-
|
||||
out-lit: Prefix3 :
|
||||
out-lit: +---<1>-+
|
||||
out-lit: +---<2>-+
|
||||
out-lit: +---<3>-+-
|
||||
out-lit: Prefix4 :
|
||||
out-lit: +---<111>-<1>-<2>-<3>-+
|
||||
out-lit: +---<111>-<0>-+
|
||||
out-lit: +---<111>-<5>-<6>-<7>-+-
|
||||
out-lit: Prefix5 :
|
||||
out-lit: +---<1>-<2>-<3>-<5>-+
|
||||
out-lit: +---<1>-<2>-<3>-<6>-+
|
||||
out-lit: +---<1>-<2>-<3>-<7>-+-
|
||||
out-lit: Prefix6 :
|
||||
out-lit: +---<1>-<2>-<3>-<1>-<2>-<3>-+
|
||||
out-lit: +---<1>-<2>-<3>-<0>-+
|
||||
out-lit: +---<1>-<2>-<3>-<5>-<6>-<7>-+-
|
||||
out-lit: Dist1 :
|
||||
out-lit: +---<11>-<1>-+
|
||||
out-lit: +---<11>-<2>-+
|
||||
out-lit: +---<11>-<3>-+-
|
||||
out-lit: Dist2 :
|
||||
out-lit: +---<11>-<0>-+
|
||||
out-lit: +---<22>-<0>-+
|
||||
out-lit: +---<33>-<0>-+-
|
||||
out-lit: Dist3 :
|
||||
out-lit: +---<11>-<1>-+
|
||||
out-lit: +---<11>-<2>-+
|
||||
out-lit: +---<11>-<3>-+
|
||||
out-lit: +---<22>-<1>-+
|
||||
out-lit: +---<22>-<2>-+
|
||||
out-lit: +---<22>-<3>-+
|
||||
out-lit: +---<33>-<1>-+
|
||||
out-lit: +---<33>-<2>-+
|
||||
out-lit: +---<33>-<3>-+-
|
||||
out-lit: Dist4 :
|
||||
out-lit: +---<11>-<1>-<2>-<3>-+
|
||||
out-lit: +---<11>-<5>-<6>-<7>-+
|
||||
out-lit: +---<22>-<1>-<2>-<3>-+
|
||||
out-lit: +---<22>-<5>-<6>-<7>-+
|
||||
out-lit: +---<33>-<1>-<2>-<3>-+
|
||||
out-lit: +---<33>-<5>-<6>-<7>-+-
|
||||
out-lit: Down :-<11>-<10>-<9>-<8>-<7>-<6>-<5>-<4>-<3>-<2>-<1>-<0>-
|
||||
out-lit: Combi :
|
||||
out-lit: +---<1>-<2>-<3>-<·>-+
|
||||
out-lit: +---<1>-<2>-<2>-<·>-+
|
||||
out-lit: +---<1>-<2>-<1>-<·>-+
|
||||
out-lit: +---<1>-<2>-<0>-<·>-+
|
||||
out-lit: +---<1>-<1>-<3>-<·>-+
|
||||
out-lit: +---<1>-<1>-<2>-<·>-+
|
||||
out-lit: +---<1>-<1>-<1>-<·>-+
|
||||
out-lit: +---<1>-<1>-<0>-<·>-+
|
||||
out-lit: +---<1>-<0>-<3>-<·>-+
|
||||
out-lit: +---<1>-<0>-<2>-<·>-+
|
||||
out-lit: +---<1>-<0>-<1>-<·>-+
|
||||
out-lit: +---<1>-<0>-<0>-<·>-+
|
||||
out-lit: +---<0>-<2>-<3>-<·>-+
|
||||
out-lit: +---<0>-<2>-<2>-<·>-+
|
||||
out-lit: +---<0>-<2>-<1>-<·>-+
|
||||
out-lit: +---<0>-<2>-<0>-<·>-+
|
||||
out-lit: +---<0>-<1>-<3>-<·>-+
|
||||
out-lit: +---<0>-<1>-<2>-<·>-+
|
||||
out-lit: +---<0>-<1>-<1>-<·>-+
|
||||
out-lit: +---<0>-<1>-<0>-<·>-+
|
||||
out-lit: +---<0>-<0>-<3>-<·>-+
|
||||
out-lit: +---<0>-<0>-<2>-<·>-+
|
||||
out-lit: +---<0>-<0>-<1>-<·>-+
|
||||
out-lit: +---<0>-<0>-<0>-<·>-+-
|
||||
out-lit: OnOff :
|
||||
out-lit: +---<1>-<2>-<3>-<·>-+
|
||||
out-lit: +---<1>-<2>-<·>-+
|
||||
out-lit: +---<1>-<3>-<·>-+
|
||||
out-lit: +---<1>-<·>-+
|
||||
out-lit: +---<2>-<3>-<·>-+
|
||||
out-lit: +---<2>-<·>-+
|
||||
out-lit: +---<3>-<·>-+
|
||||
out-lit: +---<·>-+-
|
||||
return: 0
|
||||
END
|
||||
|
||||
|
|
@ -1105,6 +1105,17 @@ END
|
|||
|
||||
|
||||
TEST "Typelist combinations generator" GeneratorCombinations_test <<END
|
||||
out-lit: Cartesian :
|
||||
out-lit: +---<1>-<2>-+
|
||||
out-lit: +---<1>-<4>-+
|
||||
out-lit: +---<1>-<6>-+
|
||||
out-lit: +---<3>-<2>-+
|
||||
out-lit: +---<3>-<4>-+
|
||||
out-lit: +---<3>-<6>-+
|
||||
out-lit: +---<5>-<2>-+
|
||||
out-lit: +---<5>-<4>-+
|
||||
out-lit: +---<5>-<6>-+-
|
||||
out-lit: All-Test-Combinations--<12>-<14>-<16>-<32>-<34>-<36>-<52>-<54>-<56>-|
|
||||
return: 0
|
||||
END
|
||||
|
||||
|
|
|
|||
|
|
@ -70,7 +70,8 @@ namespace test {
|
|||
{
|
||||
T1 param1;
|
||||
T2 param2;
|
||||
return str(formatted % param1 % param2
|
||||
return str(formatted % uint(param1)
|
||||
% uint(param2)
|
||||
% BASE::visitAll());
|
||||
}
|
||||
};
|
||||
|
|
|
|||
|
|
@ -139,8 +139,8 @@ namespace test {
|
|||
CHECK (6 == e1);
|
||||
CHECK (7 == e2);
|
||||
|
||||
CHECK ((is_sameType<NullType, E3>::value));
|
||||
CHECK ((is_sameType<NullType, Nil>::value));
|
||||
CHECK ((is_sameType<NullType, E3> ::value));
|
||||
CHECK ((is_sameType<NullType, Nil> ::value));
|
||||
CHECK ((is_sameType<NullType, Irrelevant>::value));
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue