mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Lauri Vasama
35759476b6
Some C++ unit tests were also converted into more easily maintainable LIT/FileCheck tests.
9 lines
228 B
MLIR
9 lines
228 B
MLIR
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
// RUN: not %revngcliftopt %s 2>&1 | FileCheck %s
|
|
|
|
// CHECK: failed to verify constraint: Region representing an expression
|
|
clift.while {} {}
|