From 882cff3aa01121cbb2fe6d2fe9378ef331ddc48d Mon Sep 17 00:00:00 2001
From: InversionSpaces <InversionSpaces@vivaldi.net>
Date: Thu, 27 Jul 2023 08:13:07 +0000
Subject: [PATCH] Add integration tests

---
 .../aqua/examples/boolAlgebra.aqua            | 26 +++++++++++--------
 .../src/__test__/examples.spec.ts             | 18 ++++++++++++-
 integration-tests/src/examples/boolAlgebra.ts |  9 +++----
 3 files changed, 36 insertions(+), 17 deletions(-)

diff --git a/integration-tests/aqua/examples/boolAlgebra.aqua b/integration-tests/aqua/examples/boolAlgebra.aqua
index ea58ee129..91aa13c74 100644
--- a/integration-tests/aqua/examples/boolAlgebra.aqua
+++ b/integration-tests/aqua/examples/boolAlgebra.aqua
@@ -19,18 +19,22 @@ func main(peer: string) -> []bool:
     on peer:
         a = 1 + 2
         b = 2 - 1
-        res <<- true || false && true
-        res <<- (true || false) && true
-        res <<- foo(3) && b > 0 || a > 4
-        res <<- bar(a) > 2 || true
-        res <<- foo(4) && bar(2) < 2
+        res <<- true || false && true -- true
+        res <<- (true || false) && true -- true
+        res <<- foo(3) && b > 0 || a > 4 -- true
+        res <<- bar(a) > 2 || true -- true
+        res <<- foo(4) && bar(2) < 2 -- false
+        res <<- !foo(10) && !!true -- true
+        res <<- !(bar(2) < 1) || !!(a < 2) -- true
 
     -- Effector is only registered on init_peer
-    res <<- true || Effector.effect("impossible")
-    res <<- false && Effector.effect("impossible")
-    res <<- foo(0) || Effector.effect("impossible")
-    res <<- foo(10) && Effector.effect("impossible")
-    res <<- Effector.effect("true") || true
-    res <<- Effector.effect("true") && false
+    res <<- true || Effector.effect("impossible") -- true
+    res <<- !!false && Effector.effect("impossible") -- false
+    res <<- foo(0) || Effector.effect("impossible") -- true
+    res <<- foo(10) && Effector.effect("impossible") -- false
+    res <<- Effector.effect("true") || true -- true
+    res <<- Effector.effect("true") && false -- false
+    res <<- !foo(10) || Effector.effect("impossible") -- true
+    res <<- !(1 < 2) && !Effector.effect("impossible") -- false
 
     <- res
\ No newline at end of file
diff --git a/integration-tests/src/__test__/examples.spec.ts b/integration-tests/src/__test__/examples.spec.ts
index 165083b1f..bf49fc09d 100644
--- a/integration-tests/src/__test__/examples.spec.ts
+++ b/integration-tests/src/__test__/examples.spec.ts
@@ -386,7 +386,23 @@ describe('Testing examples', () => {
 
     it('boolAlgebra.aqua', async () => {
         let boolAlgebraResult = await boolAlgebraCall(relayPeerId1);
-        expect(boolAlgebraResult).toEqual([true, true, true, true, false, true, false, true, false, true, false]);
+        expect(boolAlgebraResult).toEqual([
+            true,
+            true,
+            true,
+            true,
+            false,
+            true,
+            true,
+            true,
+            false,
+            true,
+            false,
+            true,
+            false,
+            true,
+            false,
+        ]);
     });
 
     it('join.aqua local', async () => {
diff --git a/integration-tests/src/examples/boolAlgebra.ts b/integration-tests/src/examples/boolAlgebra.ts
index 3b5464440..22534f2ff 100644
--- a/integration-tests/src/examples/boolAlgebra.ts
+++ b/integration-tests/src/examples/boolAlgebra.ts
@@ -1,13 +1,12 @@
-import {main, registerEffector} from "../compiled/examples/boolAlgebra.js";
+import { main, registerEffector } from '../compiled/examples/boolAlgebra.js';
 
 export async function boolAlgebraCall(relay: string): Promise<boolean[]> {
     registerEffector({
         effect(name, _) {
-            console.log(`effect: ${name}`);
-            if (name == "true") return Promise.resolve(true);
-            else return Promise.reject(`unknown effect: ${name}`)
+            if (name == 'true') return Promise.resolve(true);
+            else return Promise.reject(`unknown effect: ${name}`);
         },
     });
 
     return await main(relay);
-}
\ No newline at end of file
+}