From 1479ae359fd3afebf9c3dfb6e58a77254e8140ea Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Mon, 30 Jul 2018 19:16:34 +0100 Subject: Remove old test directory in src/test --- src/test/test5.sail | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 src/test/test5.sail (limited to 'src/test/test5.sail') diff --git a/src/test/test5.sail b/src/test/test5.sail deleted file mode 100644 index bcc108c4..00000000 --- a/src/test/test5.sail +++ /dev/null @@ -1,21 +0,0 @@ -register (bit) SAT - -val forall Nat 'n, Nat 'm, 'n <= 0, 0 <= 'm. - (nat, [|'n|], [|'m|]) -> [|'n:'m|] effect { wreg } Clamp - -function - forall Nat 'n, Nat 'm, 'n <= 0, 0 <= 'm. ([|'n:'m|]) - Clamp((nat) x, ([|'n|]) y, ([|'m|]) z) = { - ([|'n:'m|]) result := 0; - if (x z) then { - result := z; - SAT := bitone; - } else { - result := x; - }; - result; - } - -- cgit v1.2.3