diff options
| author | Mateusz Naściszewski <matin1111@wp.pl> | 2019-09-14 16:53:39 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-09-20 15:39:59 +0100 |
| commit | 6b2c98ba795a1edf81647482ae9f2560397f56bb (patch) | |
| tree | 7d7ca7f3eae4f0e714086d9b0eeb8be28575886e /test | |
| parent | 9891fe3d4a81e011a1f323725b36c260e100044c (diff) | |
| download | klee-6b2c98ba795a1edf81647482ae9f2560397f56bb.tar.gz | |
Move intrinsics tests to the proper directory
Diffstat (limited to 'test')
| -rw-r--r-- | test/Intrinsics/IntrinsicTrap.ll (renamed from test/Feature/IntrinsicTrap.ll) | 0 | ||||
| -rw-r--r-- | test/Intrinsics/Overflow.ll (renamed from test/Feature/Overflow.ll) | 0 | ||||
| -rw-r--r-- | test/Intrinsics/OverflowMul.ll (renamed from test/Feature/OverflowMul.ll) | 0 | ||||
| -rw-r--r-- | test/Intrinsics/Saturating.ll (renamed from test/Feature/Saturating.ll) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/test/Feature/IntrinsicTrap.ll b/test/Intrinsics/IntrinsicTrap.ll index c88a328a..c88a328a 100644 --- a/test/Feature/IntrinsicTrap.ll +++ b/test/Intrinsics/IntrinsicTrap.ll diff --git a/test/Feature/Overflow.ll b/test/Intrinsics/Overflow.ll index 31311029..31311029 100644 --- a/test/Feature/Overflow.ll +++ b/test/Intrinsics/Overflow.ll diff --git a/test/Feature/OverflowMul.ll b/test/Intrinsics/OverflowMul.ll index 9343fdd8..9343fdd8 100644 --- a/test/Feature/OverflowMul.ll +++ b/test/Intrinsics/OverflowMul.ll diff --git a/test/Feature/Saturating.ll b/test/Intrinsics/Saturating.ll index cce8b6cb..cce8b6cb 100644 --- a/test/Feature/Saturating.ll +++ b/test/Intrinsics/Saturating.ll |