admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

pretty-ints test: drop

Browse Source
This commit is contained in:
Ivan Krysak
2026-06-04 11:35:19 +00:00
committed by Pietro Fezzardi
parent 277e646d19
commit 45d8be8a0f
2 changed files with 0 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files
share/revng/test/tests/analysis/Decompilation/x86-64/pretty-ints.c.filecheck
-38
View File
@@ -1,38 +0,0 @@
This file is distributed under the MIT License. See LICENSE.md for details.
The following things should be printed in hexadecimal
CHECK: {{.*}}64_t shift_left({{.*}}64_t [[ARG:.*]]) {
CHECK: 0xABCDEF1234567890
CHECK: }
CHECK: {{.*}}64_t logical_shift_right({{.*}}64_t [[ARG:.*]]) {
CHECK: 0xABCDEF1234567890
CHECK: }
CHECK: {{.*}}64_t arithmetic_shift_right({{.*}}64_t [[ARG:.*]]) {
CHECK: 0xABCDEF1234567890
CHECK: }
CHECK: {{.*}}64_t bitwise_and({{.*}}64_t [[ARG:.*]]) {
CHECK: 0xABCDEF1234567890
CHECK: }
CHECK: {{.*}}64_t bitwise_or({{.*}}64_t [[ARG:.*]]) {
CHECK: 0xABCDEF1234567890
CHECK: }
CHECK: {{.*}}64_t bitwise_xor({{.*}}64_t [[ARG:.*]]) {
CHECK: 0xABCDEF1234567890
CHECK: }
Character literal
CHECK: write_and_get_char(void) {
CHECK: 'X'
CHECK: }
NULL literal
CHECK: do_stuff(void) {
CHECK: puts({{.*[ ]?}}NULL);
share/revng/test/tests/analysis/Decompilation/x86-64/pretty-ints.c.model.yml
-5
View File
@@ -1,5 +0,0 @@
---
#
# This file is distributed under the MIT License. See LICENSE.md for details.
#
Architecture: x86_64