From ccf94ed737752c21edff3cab8a71de0766a48d1c Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Tue, 8 Apr 2014 22:43:49 +0100 Subject: Converted textbook tests to lit tests. --- Test/textbook/DutchFlag.bpl | 2 ++ 1 file changed, 2 insertions(+) (limited to 'Test/textbook/DutchFlag.bpl') diff --git a/Test/textbook/DutchFlag.bpl b/Test/textbook/DutchFlag.bpl index 03fd2317..64743303 100644 --- a/Test/textbook/DutchFlag.bpl +++ b/Test/textbook/DutchFlag.bpl @@ -1,3 +1,5 @@ +// RUN: %boogie %s > %t +// RUN: %diff %s.expect %t // The partition step of Quick Sort picks a 'pivot' element from a specified subsection // of a given integer array. It then partially sorts the elements of the array so that // elements smaller than the pivot end up to the left of the pivot and elements larger -- cgit v1.2.3