From 3726563408bf7e3b841272f5ad336bd4a23db78d Mon Sep 17 00:00:00 2001
From: Enrico Zandomeni Borba <enricozb@gmail.com>
Date: Tue, 9 Apr 2024 08:34:11 -0400
Subject: [PATCH] test

---
 tests/programs/f32.hvmc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/programs/f32.hvmc b/tests/programs/f32.hvmc
index 2236bb6c..b3d6b938 100644
--- a/tests/programs/f32.hvmc
+++ b/tests/programs/f32.hvmc
@@ -6,10 +6,10 @@
   & x ~ [n x] & #-1.0 ~ <f32./ #0.0 n> // -inf
   & x ~ [n x] & #0.0  ~ <f32./ #0.0 n> // NaN
 
-  // f32 <op> int
+  // general operators
   & x ~ [n x] & @half ~ <f32.+ #2.0 n>  // 2.5
   & x ~ [n x] & @half ~ <f32.- #2.0 n>  // -1.5
-  & x ~ [n x] & @half ~ <f32.* #2.0 n>  // 1
+  & x ~ [n x] & @half ~ <f32.* #2.3 n>  // 1.15
   & x ~ [n x] & @half ~ <f32./ #2.0 n>  // 0.25
   & x ~ [n x] & @half ~ <f32.% #2.0 n>  // 0.5
   & x ~ [n x] & @half ~ <f32.== #2.0 n> // 0