summaryrefslogtreecommitdiffstats
path: root/docs/Reference/LuaUnitAssertionFunctions/2_ScientificAssertions.md
diff options
context:
space:
mode:
authorRomain Forlot <romain.forlot@iot.bzh>2018-10-29 18:37:26 +0100
committerJan-Simon Moeller <jsmoeller@linuxfoundation.org>2018-10-31 21:03:06 +0000
commit2f3654275e44f9719818a848da9a0b576d5a1b53 (patch)
treeff75764bbb2e3037f73f95a96ac5ed2fcba93465 /docs/Reference/LuaUnitAssertionFunctions/2_ScientificAssertions.md
parent2a7b4defe300dfe5eb19f775bd819e2d300b7453 (diff)
Docs reorganization and update
Docs reorganization and update using the latest afb-test improvments and try to make it clearer. Change-Id: If022cdb46364ef250361bdcd420d45b360f10a2e Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'docs/Reference/LuaUnitAssertionFunctions/2_ScientificAssertions.md')
-rw-r--r--docs/Reference/LuaUnitAssertionFunctions/2_ScientificAssertions.md48
1 files changed, 48 insertions, 0 deletions
diff --git a/docs/Reference/LuaUnitAssertionFunctions/2_ScientificAssertions.md b/docs/Reference/LuaUnitAssertionFunctions/2_ScientificAssertions.md
new file mode 100644
index 0000000..9f80a7a
--- /dev/null
+++ b/docs/Reference/LuaUnitAssertionFunctions/2_ScientificAssertions.md
@@ -0,0 +1,48 @@
+# Scientific assertions
+
+>**Note**
+>If you need to deal with value minus zero, be very careful because Lua versions
+are inconsistent on how they treat the >syntax -0 : it creates either a plus
+zero or a minus zero. Multiplying or dividing 0 by -1 also yields inconsistent >
+results. The reliable way to create the -0 value is : minusZero = -1 / (1/0).
+
+* **_AFT.assertIsNaN(value)**
+ Assert that a given number is a *NaN* (Not a Number), according to the
+ definition of IEEE-754_ . If provided, *extra_msg* is a string which will
+ be printed along with the failure message.
+
+* **_AFT.assertIsPlusInf(value)**
+
+ Assert that a given number is *plus infinity*, according to the definition of
+ IEEE-754_. If provided, *extra_msg* is a string which will be printed along
+ with the failure message.
+
+* **_AFT.assertIsMinusInf(value)**
+
+ Assert that a given number is *minus infinity*, according to the definition of
+ IEEE-754_. If provided, *extra_msg* is a string which will be printed along
+ with the failure message.
+
+* **_AFT.assertIsInf(value)**
+
+ Assert that a given number is *infinity* (either positive or negative),
+ according to the definition of IEEE-754_. If provided, *extra_msg* is a string
+ which will be printed along with the failure message.
+
+* **_AFT.assertIsPlusZero(value)**
+
+ Assert that a given number is *+0*, according to the definition of IEEE-754_.
+ The verification is done by dividing by the provided number and verifying
+ that it yields *infinity* . If provided, *extra_msg* is a string which will
+ be printed along with the failure message.
+
+ Be careful when dealing with *+0* and *-0*, see note above
+
+* **_AFT.assertIsMinusZero(value)**
+
+ Assert that a given number is *-0*, according to the definition of IEEE-754_.
+ The verification is done by dividing by the provided number and verifying that
+ it yields *minus infinity* . If provided, *extra_msg* is a string which will
+ be printed along with the failure message.
+
+ Be careful when dealing with *+0* and *-0* \ No newline at end of file