From 0cf6d611f3af05c7b54d83747847d372a3ebf017 Mon Sep 17 00:00:00 2001 From: Simon Hengel Date: Tue, 28 Aug 2012 08:51:57 +0200 Subject: Add HTML test for properties --- tests/html-tests/tests/Properties.hs | 9 +++ tests/html-tests/tests/Properties.html.ref | 92 +++++++++++++++++++++++++ tests/html-tests/tests/mini_Properties.html.ref | 31 +++++++++ 3 files changed, 132 insertions(+) create mode 100644 tests/html-tests/tests/Properties.hs create mode 100644 tests/html-tests/tests/Properties.html.ref create mode 100644 tests/html-tests/tests/mini_Properties.html.ref (limited to 'tests/html-tests') diff --git a/tests/html-tests/tests/Properties.hs b/tests/html-tests/tests/Properties.hs new file mode 100644 index 00000000..05930ece --- /dev/null +++ b/tests/html-tests/tests/Properties.hs @@ -0,0 +1,9 @@ +module Properties where + +-- | Fibonacci number of given 'Integer'. +-- +-- prop> fib n <= fib (n + 1) +fib :: Integer -> Integer +fib 0 = 0 +fib 1 = 1 +fib n = fib (n - 1) + fib (n - 2) diff --git a/tests/html-tests/tests/Properties.html.ref b/tests/html-tests/tests/Properties.html.ref new file mode 100644 index 00000000..8fd918bf --- /dev/null +++ b/tests/html-tests/tests/Properties.html.ref @@ -0,0 +1,92 @@ + +Properties

 

Safe HaskellNone

Properties

Synopsis

Documentation

fib :: Integer -> Integer

Fibonacci number of given Integer. +

fib n <= fib (n + 1)
diff --git a/tests/html-tests/tests/mini_Properties.html.ref b/tests/html-tests/tests/mini_Properties.html.ref new file mode 100644 index 00000000..5f538dfd --- /dev/null +++ b/tests/html-tests/tests/mini_Properties.html.ref @@ -0,0 +1,31 @@ + +Properties

Properties

fib

-- cgit v1.2.3