From 1dcf8fb9d4471a11fba568c2f2d4550013472d49 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Sat, 15 Nov 2014 02:45:38 +0100
Subject: [PATCH] add new procedures assert_true(boolean) and
 assert_false(boolean)

---
 sim/AssertP.vhd | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/sim/AssertP.vhd b/sim/AssertP.vhd
index fba9989..50b5a0c 100644
--- a/sim/AssertP.vhd
+++ b/sim/AssertP.vhd
@@ -8,6 +8,9 @@ use work.StringP.all;
 package AssertP is
 
 
+  procedure assert_true    (a : boolean);
+  procedure assert_false   (a : boolean);
+
   procedure assert_equal   (a : in integer; b : in integer);
   procedure assert_equal   (a : in std_logic_vector; b : in std_logic_vector);
   procedure assert_equal   (a : in string; b : in string);
@@ -23,6 +26,20 @@ end package AssertP;
 package body AssertP is
 
 
+  procedure assert_true (a : boolean) is
+  begin
+    assert a
+      report "FAILURE: a should be evaluate to true"
+      severity failure;
+  end procedure assert_true;
+
+  procedure assert_false (a : boolean) is
+  begin
+    assert not(a)
+      report "FAILURE: a should be evaluate to false"
+      severity failure;
+  end procedure assert_false;
+
   procedure assert_equal (a : in integer; b : in integer) is
   begin
     assert a = b