Add test for exactly equal (=:=)

e.g. 5 =:= 5.0 -> false, 5 =/= 5.0 -> true.

Signed-off-by: Davide Bettio <[email protected]>

Author: bettio

tests/erlang_tests/CMakeLists.txt

@@ -427,6 +427,8 @@ compile_erlang(bs_append_extra_words)
 
 compile_erlang(test_monotonic_time)
 
+compile_erlang(exactly_eq)
+
 compile_erlang(spawn_opt_monitor_normal)
 compile_erlang(spawn_opt_monitor_throw)
 compile_erlang(spawn_opt_demonitor_normal)
@@ -842,6 +844,8 @@ add_custom_target(erlang_test_modules DEPENDS
 
     test_monotonic_time.beam
 
+    exactly_eq.beam
+
     spawn_opt_monitor_normal.beam
     spawn_opt_monitor_throw.beam
     spawn_opt_demonitor_normal.beam

tests/erlang_tests/exactly_eq.erl

@@ -0,0 +1,40 @@
+%
+% This file is part of AtomVM.
+%
+% Copyright 2023 Davide Bettio <[email protected]>
+%
+% Licensed under the Apache License, Version 2.0 (the "License");
+% you may not use this file except in compliance with the License.
+% You may obtain a copy of the License at
+%
+%    http://www.apache.org/licenses/LICENSE-2.0
+%
+% Unless required by applicable law or agreed to in writing, software
+% distributed under the License is distributed on an "AS IS" BASIS,
+% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+% See the License for the specific language governing permissions and
+% limitations under the License.
+%
+% SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later
+%
+
+-module(exactly_eq).
+
+-export([start/0, fact/3]).
+
+start() ->
+    A = fact(4, 1, 1),
+    B = fact(4, 1.0, 1.0),
+    test(not (A =:= B)) +
+        test(A =/= B) * 2 +
+        test(A == B) * 4.
+
+test(true) ->
+    1;
+test(false) ->
+    0.
+
+fact(N, _D, Acc) when N < 1 ->
+    Acc;
+fact(N, D, Acc) ->
+    fact(N - D, D, Acc * N).

tests/test.c

@@ -454,6 +454,8 @@ struct Test tests[] = {
 
     TEST_CASE_EXPECTED(test_monotonic_time, 1),
 
+    TEST_CASE_EXPECTED(exactly_eq, 7),
+
     // Tests relying on echo driver
     TEST_CASE_ATOMVM_ONLY(pingpong, 1),