From 2dae113e5996e050ca6595542de5030747245929 Mon Sep 17 00:00:00 2001
From: Dietrich <dgeisler50@gmail.com>
Date: Mon, 27 Apr 2015 05:37:19 -0600
Subject: Began adding the float type to VC expression

---
 float_test3.bpl | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 float_test3.bpl

(limited to 'float_test3.bpl')

diff --git a/float_test3.bpl b/float_test3.bpl
new file mode 100644
index 00000000..cd0ea59e
--- /dev/null
+++ b/float_test3.bpl
@@ -0,0 +1,6 @@
+ procedure F() returns () {
+	var x : float;
+	var y : float;
+	y := x - x;
+	assert y != x;
+}
\ No newline at end of file
-- 
cgit v1.2.3