From 023497860d712fd4bef29dd8a5f3be62c66b833f Mon Sep 17 00:00:00 2001
From: Mike <mike@mikera.net>
Date: Tue, 11 Jul 2023 18:18:22 +0100
Subject: [PATCH] extra Belief tests

---
 .../src/test/java/convex/core/BeliefTest.java | 52 +++++++++++++++++++
 1 file changed, 52 insertions(+)
 create mode 100644 convex-core/src/test/java/convex/core/BeliefTest.java

diff --git a/convex-core/src/test/java/convex/core/BeliefTest.java b/convex-core/src/test/java/convex/core/BeliefTest.java
new file mode 100644
index 000000000..a5e444297
--- /dev/null
+++ b/convex-core/src/test/java/convex/core/BeliefTest.java
@@ -0,0 +1,52 @@
+package convex.core;
+
+import org.junit.jupiter.api.Test;
+
+import convex.core.crypto.AKeyPair;
+import convex.core.data.ACell;
+import convex.core.data.AccountKey;
+import convex.core.data.Address;
+import convex.core.data.EncodingTest;
+import convex.core.data.RecordTest;
+import convex.core.data.SignedData;
+import convex.core.exceptions.BadFormatException;
+import convex.core.transactions.Invoke;
+import convex.test.Samples;
+
+public class BeliefTest {
+	static final int PEERS=4;
+	static final AKeyPair[] kps=new AKeyPair[PEERS];
+	static final AccountKey[] keys=new AccountKey[PEERS];
+	
+	static {
+		for (int i=0; i<PEERS; i++) {
+			AKeyPair kp=AKeyPair.createSeeded(i+789798);
+			kps[i]=kp;
+			keys[i]=kp.getAccountKey();
+		}
+	}
+	
+	@SuppressWarnings("unchecked")
+	@Test public void testBasicBelief() throws BadFormatException {
+		Order o=Order.create();
+		for (int i=0; i<PEERS; i++) {
+			AKeyPair kp=kps[i];
+			Block bi=Block.of(i, kp.signData(Invoke.create(Address.create(i), 1L, Samples.NON_EMBEDDED_STRING)));
+			o=o.append(kp.signData(bi));
+		}
+		SignedData<Order>[] orders=new SignedData[PEERS];
+		for (int i=0; i<PEERS; i++) {
+			AKeyPair kp=kps[i];
+			orders[i]=kp.signData(o);
+		}		
+		Belief b=Belief.create(orders);
+		
+		RecordTest.doRecordTests(b);
+		
+		b=ACell.createPersisted(b).getValue();
+		
+		RecordTest.doRecordTests(b);
+		
+		EncodingTest.testFullencoding(b);
+	}
+}