Skip to content
Snippets Groups Projects
Commit aee9ea62 authored by chrg's avatar chrg
Browse files

Sligth improvement of tests

parent baa022e6
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1056 deletions
rtree-c/test/expected/add/reduction/r000000000.c deleted 100644 → 0
+ 0
− 18
View file @ baa022e6
// 0 remove function add at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 2)
// 0 reduce to left at ("test/cases/small/add.c": line 2)
// 0 reduce to right at ("test/cases/small/add.c": line 2)
// 0 remove return statement at ("test/cases/small/add.c": line 6)
// 0 do without param at ("test/cases/small/add.c": line 6)
// 0 do without param at ("test/cases/small/add.c": line 6)
int add(int a, int b)
{
return a + b;
}
int main()
{
return add(10, 23);
}
rtree-c/test/expected/add/reduction/r000000000.c.hs deleted 100644 → 0
+ 0
− 88
View file @ baa022e6
CTranslUnit
[ CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "add" 1651297 () )
)
[ CFunDeclr
( CFunParamsNew
[ CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "a" 97 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
, CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "b" 98 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
] False
) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CBinary CAddOp
( CVar
( Ident "a" 97 () ) ()
)
( CVar
( Ident "b" 98 () ) ()
) ()
)
) ()
)
] ()
) ()
)
, CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "main" 232419565 () )
)
[ CFunDeclr
( CFunParamsNew [] False ) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CCall
( CVar
( Ident "add" 1651297 () ) ()
)
[ CConst
( CIntConst 10 () )
, CConst
( CIntConst 23 () )
] ()
)
) ()
)
] ()
) ()
)
] ()
rtree-c/test/expected/add/reduction/r000000001.c deleted 100644 → 0
+ 0
− 18
View file @ baa022e6
// 0 remove function add at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 2)
// 0 reduce to left at ("test/cases/small/add.c": line 2)
// 0 reduce to right at ("test/cases/small/add.c": line 2)
// 0 remove return statement at ("test/cases/small/add.c": line 6)
// 0 do without param at ("test/cases/small/add.c": line 6)
// 1 do without param at ("test/cases/small/add.c": line 6)
int add(int a, int b)
{
return a + b;
}
int main()
{
return add(10, 0);
}
rtree-c/test/expected/add/reduction/r000000001.c.hs deleted 100644 → 0
+ 0
− 88
View file @ baa022e6
CTranslUnit
[ CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "add" 1651297 () )
)
[ CFunDeclr
( CFunParamsNew
[ CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "a" 97 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
, CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "b" 98 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
] False
) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CBinary CAddOp
( CVar
( Ident "a" 97 () ) ()
)
( CVar
( Ident "b" 98 () ) ()
) ()
)
) ()
)
] ()
) ()
)
, CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "main" 232419565 () )
)
[ CFunDeclr
( CFunParamsNew [] False ) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CCall
( CVar
( Ident "add" 1651297 () ) ()
)
[ CConst
( CIntConst 10 () )
, CConst
( CIntConst 23 () )
] ()
)
) ()
)
] ()
) ()
)
] ()
rtree-c/test/expected/add/reduction/r000000010.c deleted 100644 → 0
+ 0
− 18
View file @ baa022e6
// 0 remove function add at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 2)
// 0 reduce to left at ("test/cases/small/add.c": line 2)
// 0 reduce to right at ("test/cases/small/add.c": line 2)
// 0 remove return statement at ("test/cases/small/add.c": line 6)
// 1 do without param at ("test/cases/small/add.c": line 6)
// 0 do without param at ("test/cases/small/add.c": line 6)
int add(int a, int b)
{
return a + b;
}
int main()
{
return add(0, 23);
}
rtree-c/test/expected/add/reduction/r000000010.c.hs deleted 100644 → 0
+ 0
− 88
View file @ baa022e6
CTranslUnit
[ CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "add" 1651297 () )
)
[ CFunDeclr
( CFunParamsNew
[ CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "a" 97 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
, CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "b" 98 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
] False
) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CBinary CAddOp
( CVar
( Ident "a" 97 () ) ()
)
( CVar
( Ident "b" 98 () ) ()
) ()
)
) ()
)
] ()
) ()
)
, CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "main" 232419565 () )
)
[ CFunDeclr
( CFunParamsNew [] False ) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CCall
( CVar
( Ident "add" 1651297 () ) ()
)
[ CConst
( CIntConst 10 () )
, CConst
( CIntConst 23 () )
] ()
)
) ()
)
] ()
) ()
)
] ()
rtree-c/test/expected/add/reduction/r000000011.c deleted 100644 → 0
+ 0
− 18
View file @ baa022e6
// 0 remove function add at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 2)
// 0 reduce to left at ("test/cases/small/add.c": line 2)
// 0 reduce to right at ("test/cases/small/add.c": line 2)
// 0 remove return statement at ("test/cases/small/add.c": line 6)
// 1 do without param at ("test/cases/small/add.c": line 6)
// 1 do without param at ("test/cases/small/add.c": line 6)
int add(int a, int b)
{
return a + b;
}
int main()
{
return add(0, 0);
}
rtree-c/test/expected/add/reduction/r000000011.c.hs deleted 100644 → 0
+ 0
− 88
View file @ baa022e6
CTranslUnit
[ CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "add" 1651297 () )
)
[ CFunDeclr
( CFunParamsNew
[ CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "a" 97 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
, CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "b" 98 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
] False
) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CBinary CAddOp
( CVar
( Ident "a" 97 () ) ()
)
( CVar
( Ident "b" 98 () ) ()
) ()
)
) ()
)
] ()
) ()
)
, CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "main" 232419565 () )
)
[ CFunDeclr
( CFunParamsNew [] False ) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CCall
( CVar
( Ident "add" 1651297 () ) ()
)
[ CConst
( CIntConst 10 () )
, CConst
( CIntConst 23 () )
] ()
)
) ()
)
] ()
) ()
)
] ()
rtree-c/test/expected/add/reduction/r00000010.c deleted 100644 → 0
+ 0
− 16
View file @ baa022e6
// 0 remove function add at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 2)
// 0 reduce to left at ("test/cases/small/add.c": line 2)
// 0 reduce to right at ("test/cases/small/add.c": line 2)
// 1 remove return statement at ("test/cases/small/add.c": line 6)
// 0 remove empty compound at ("test/cases/small/add.c": line 5)
int add(int a, int b)
{
return a + b;
}
int main()
{
}
rtree-c/test/expected/add/reduction/r00000010.c.hs deleted 100644 → 0
+ 0
− 88
View file @ baa022e6
CTranslUnit
[ CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "add" 1651297 () )
)
[ CFunDeclr
( CFunParamsNew
[ CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "a" 97 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
, CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "b" 98 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
] False
) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CBinary CAddOp
( CVar
( Ident "a" 97 () ) ()
)
( CVar
( Ident "b" 98 () ) ()
) ()
)
) ()
)
] ()
) ()
)
, CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "main" 232419565 () )
)
[ CFunDeclr
( CFunParamsNew [] False ) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CCall
( CVar
( Ident "add" 1651297 () ) ()
)
[ CConst
( CIntConst 10 () )
, CConst
( CIntConst 23 () )
] ()
)
) ()
)
] ()
) ()
)
] ()
rtree-c/test/expected/add/reduction/r00000011.c deleted 100644 → 0
+ 0
− 16
View file @ baa022e6
// 0 remove function add at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 2)
// 0 reduce to left at ("test/cases/small/add.c": line 2)
// 0 reduce to right at ("test/cases/small/add.c": line 2)
// 1 remove return statement at ("test/cases/small/add.c": line 6)
// 1 remove empty compound at ("test/cases/small/add.c": line 5)
int add(int a, int b)
{
return a + b;
}
int main()
{
}
rtree-c/test/expected/add/reduction/r00000011.c.hs deleted 100644 → 0
+ 0
− 88
View file @ baa022e6
CTranslUnit
[ CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "add" 1651297 () )
)
[ CFunDeclr
( CFunParamsNew
[ CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "a" 97 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
, CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "b" 98 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
] False
) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CBinary CAddOp
( CVar
( Ident "a" 97 () ) ()
)
( CVar
( Ident "b" 98 () ) ()
) ()
)
) ()
)
] ()
) ()
)
, CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "main" 232419565 () )
)
[ CFunDeclr
( CFunParamsNew [] False ) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CCall
( CVar
( Ident "add" 1651297 () ) ()
)
[ CConst
( CIntConst 10 () )
, CConst
( CIntConst 23 () )
] ()
)
) ()
)
] ()
) ()
)
] ()
rtree-c/test/expected/add/reduction/r000001000.c deleted 100644 → 0
+ 0
− 18
View file @ baa022e6
// 0 remove function add at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 2)
// 0 reduce to left at ("test/cases/small/add.c": line 2)
// 1 reduce to right at ("test/cases/small/add.c": line 2)
// 0 remove return statement at ("test/cases/small/add.c": line 6)
// 0 do without param at ("test/cases/small/add.c": line 6)
// 0 do without param at ("test/cases/small/add.c": line 6)
int add(int a, int b)
{
return b;
}
int main()
{
return add(10, 23);
}
rtree-c/test/expected/add/reduction/r000001000.c.hs deleted 100644 → 0
+ 0
− 88
View file @ baa022e6
CTranslUnit
[ CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "add" 1651297 () )
)
[ CFunDeclr
( CFunParamsNew
[ CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "a" 97 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
, CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "b" 98 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
] False
) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CBinary CAddOp
( CVar
( Ident "a" 97 () ) ()
)
( CVar
( Ident "b" 98 () ) ()
) ()
)
) ()
)
] ()
) ()
)
, CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "main" 232419565 () )
)
[ CFunDeclr
( CFunParamsNew [] False ) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CCall
( CVar
( Ident "add" 1651297 () ) ()
)
[ CConst
( CIntConst 10 () )
, CConst
( CIntConst 23 () )
] ()
)
) ()
)
] ()
) ()
)
] ()
rtree-c/test/expected/add/reduction/r000001001.c deleted 100644 → 0
+ 0
− 18
View file @ baa022e6
// 0 remove function add at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 2)
// 0 reduce to left at ("test/cases/small/add.c": line 2)
// 1 reduce to right at ("test/cases/small/add.c": line 2)
// 0 remove return statement at ("test/cases/small/add.c": line 6)
// 0 do without param at ("test/cases/small/add.c": line 6)
// 1 do without param at ("test/cases/small/add.c": line 6)
int add(int a, int b)
{
return b;
}
int main()
{
return add(10, 0);
}
rtree-c/test/expected/add/reduction/r000001001.c.hs deleted 100644 → 0
+ 0
− 88
View file @ baa022e6
CTranslUnit
[ CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "add" 1651297 () )
)
[ CFunDeclr
( CFunParamsNew
[ CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "a" 97 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
, CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "b" 98 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
] False
) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CBinary CAddOp
( CVar
( Ident "a" 97 () ) ()
)
( CVar
( Ident "b" 98 () ) ()
) ()
)
) ()
)
] ()
) ()
)
, CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "main" 232419565 () )
)
[ CFunDeclr
( CFunParamsNew [] False ) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CCall
( CVar
( Ident "add" 1651297 () ) ()
)
[ CConst
( CIntConst 10 () )
, CConst
( CIntConst 23 () )
] ()
)
) ()
)
] ()
) ()
)
] ()
rtree-c/test/expected/add/reduction/r000001010.c deleted 100644 → 0
+ 0
− 18
View file @ baa022e6
// 0 remove function add at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 2)
// 0 reduce to left at ("test/cases/small/add.c": line 2)
// 1 reduce to right at ("test/cases/small/add.c": line 2)
// 0 remove return statement at ("test/cases/small/add.c": line 6)
// 1 do without param at ("test/cases/small/add.c": line 6)
// 0 do without param at ("test/cases/small/add.c": line 6)
int add(int a, int b)
{
return b;
}
int main()
{
return add(0, 23);
}
rtree-c/test/expected/add/reduction/r000001010.c.hs deleted 100644 → 0
+ 0
− 88
View file @ baa022e6
CTranslUnit
[ CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "add" 1651297 () )
)
[ CFunDeclr
( CFunParamsNew
[ CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "a" 97 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
, CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "b" 98 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
] False
) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CBinary CAddOp
( CVar
( Ident "a" 97 () ) ()
)
( CVar
( Ident "b" 98 () ) ()
) ()
)
) ()
)
] ()
) ()
)
, CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "main" 232419565 () )
)
[ CFunDeclr
( CFunParamsNew [] False ) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CCall
( CVar
( Ident "add" 1651297 () ) ()
)
[ CConst
( CIntConst 10 () )
, CConst
( CIntConst 23 () )
] ()
)
) ()
)
] ()
) ()
)
] ()
rtree-c/test/expected/add/reduction/r000001011.c deleted 100644 → 0
+ 0
− 18
View file @ baa022e6
// 0 remove function add at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove parameter at ("test/cases/small/add.c": line 1)
// 0 remove return statement at ("test/cases/small/add.c": line 2)
// 0 reduce to left at ("test/cases/small/add.c": line 2)
// 1 reduce to right at ("test/cases/small/add.c": line 2)
// 0 remove return statement at ("test/cases/small/add.c": line 6)
// 1 do without param at ("test/cases/small/add.c": line 6)
// 1 do without param at ("test/cases/small/add.c": line 6)
int add(int a, int b)
{
return b;
}
int main()
{
return add(0, 0);
}
rtree-c/test/expected/add/reduction/r000001011.c.hs deleted 100644 → 0
+ 0
− 88
View file @ baa022e6
CTranslUnit
[ CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "add" 1651297 () )
)
[ CFunDeclr
( CFunParamsNew
[ CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "a" 97 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
, CDecl
[ CTypeSpec
( CIntType () )
]
[ CDeclarationItem
( CDeclr
( Just
( Ident "b" 98 () )
) [] Nothing [] ()
) Nothing Nothing
] ()
] False
) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CBinary CAddOp
( CVar
( Ident "a" 97 () ) ()
)
( CVar
( Ident "b" 98 () ) ()
) ()
)
) ()
)
] ()
) ()
)
, CFDefExt
( CFunDef
[ CTypeSpec
( CIntType () )
]
( CDeclr
( Just
( Ident "main" 232419565 () )
)
[ CFunDeclr
( CFunParamsNew [] False ) [] ()
] Nothing [] ()
) []
( CCompound []
[ CBlockStmt
( CReturn
( Just
( CCall
( CVar
( Ident "add" 1651297 () ) ()
)
[ CConst
( CIntConst 10 () )
, CConst
( CIntConst 23 () )
] ()
)
) ()
)
] ()
) ()
)
] ()
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment