Move CToBoogieTranslation tests with unsupported features to todo (#611)

ultimate-pa · Jan 16, 2023 · c1b26da · c1b26da
1 parent d7b8c52
commit c1b26da
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 0 deletions.
diff --git a/...n/all/ctrans-bug-CCE-CNamedToCPrimitive.c → .../todo/ctrans-bug-CCE-CNamedToCPrimitive.c b/...n/all/ctrans-bug-CCE-CNamedToCPrimitive.c → .../todo/ctrans-bug-CCE-CNamedToCPrimitive.c
diff --git a/...on/all/ctrans-bug-USE-incomplete-struct.c → ...n/todo/ctrans-bug-USE-incomplete-struct.c b/...on/all/ctrans-bug-USE-incomplete-struct.c → ...n/todo/ctrans-bug-USE-incomplete-struct.c
diff --git a/...in-TE-emptyarray-nullpointer-arraydeque.c → ...in-TE-emptyarray-nullpointer-arraydeque.c b/...in-TE-emptyarray-nullpointer-arraydeque.c → ...in-TE-emptyarray-nullpointer-arraydeque.c
diff --git a/...n/only-bitprecise/ctrans-float-copysign.c → ...eTranslation/todo/ctrans-float-copysign.c b/...n/only-bitprecise/ctrans-float-copysign.c → ...eTranslation/todo/ctrans-float-copysign.c
diff --git a/...ssion/only-bitprecise/ctrans-float-fmod.c → ...oogieTranslation/todo/ctrans-float-fmod.c b/...ssion/only-bitprecise/ctrans-float-fmod.c → ...oogieTranslation/todo/ctrans-float-fmod.c
diff --git a/.../only-bitprecise/ctrans-float-remainder.c → ...Translation/todo/ctrans-float-remainder.c b/.../only-bitprecise/ctrans-float-remainder.c → ...Translation/todo/ctrans-float-remainder.c
diff --git a/...ranslation/regression/all/enum-to-int-3.c → ...CToBoogieTranslation/todo/enum-to-int-3.c b/...ranslation/regression/all/enum-to-int-3.c → ...CToBoogieTranslation/todo/enum-to-int-3.c
diff --git a/...s/CToBoogieTranslation/open/varargsCopy.c → ...s/CToBoogieTranslation/todo/varargsCopy.c b/...s/CToBoogieTranslation/open/varargsCopy.c → ...s/CToBoogieTranslation/todo/varargsCopy.c
diff --git a/...eTranslation/open/varargsMultipleStarts.c → ...eTranslation/todo/varargsMultipleStarts.c b/...eTranslation/open/varargsMultipleStarts.c → ...eTranslation/todo/varargsMultipleStarts.c
diff --git a/...Initialization_struct_unnamed_fields_01.c → ...Initialization_struct_unnamed_fields_01.c b/...Initialization_struct_unnamed_fields_01.c → ...Initialization_struct_unnamed_fields_01.c