More tests

Convex-Dev · Dec 5, 2024 · a16d0d2 · a16d0d2
1 parent affccc5
commit a16d0d2
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 5 deletions.
diff --git a/convex-core/src/main/cvx/convex/core/core.cvx b/convex-core/src/main/cvx/convex/core/core.cvx
@@ -733,7 +733,7 @@
 	        :examples    [{:code "(coin-supply)"}]
 	        :signature   [{:params []}]}}
 	([]
-	  (loop [i 0
+	  (loop [i 1
 	         supply 1000000000000000000]
 		(cond (>= i 8)
 		  supply

diff --git a/convex-core/src/test/java/convex/core/data/FuzzTestFormat.java b/convex-core/src/test/java/convex/core/data/FuzzTestFormat.java
@@ -50,8 +50,10 @@ public void fuzzTest() {
 	}
 
 	@Test 
-	public void fuzzExamples()  {
+	public void fuzzExamples() throws BadFormatException  {
 		doCellFuzzTests(Symbols.FOO);
+
+		doFuzzTest(Blob.fromHex("31080000000000000034"));
 	}
 
 	public static void doCellFuzzTests(ACell c)  {
@@ -99,10 +101,11 @@ private static void doFuzzTest(Blob b) throws BadFormatException {
 	}
 
 	public static void doMutationTest(Blob b) {
+		byte[] bs = b.getBytes();
+		bs[r.nextInt(bs.length)] += (byte) r.nextInt(255);
+		Blob fuzzed=Blob.wrap(bs);
 		try {
-			byte[] bs = b.getBytes();
-			bs[r.nextInt(bs.length)] += (byte) r.nextInt(255);
-			doFuzzTest(Blob.wrap(bs));
+			doFuzzTest(fuzzed);
 		} catch (BadFormatException e) {
 			/* OK */
 		} catch (BufferUnderflowException e) {