--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/pcmu2efr/stdefr-diff.c	Tue Apr 16 23:41:07 2024 +0000
@@ -0,0 +1,30 @@
+/*
+ * This program computes 160 possible EFR encoder outputs using standard EFR,
+ * and then does a diff among them, seeking to verify that they are all
+ * distinct.
+ */
+
+#include <stdio.h>
+#include <stdint.h>
+#include <stdlib.h>
+#include <string.h>
+#include <strings.h>
+
+extern uint8_t standard_efr[160][31];
+
+main(argc, argv)
+	char **argv;
+{
+	unsigned m, n;
+
+	generate_linear_inputs();
+	generate_std_efr();
+	for (m = 0; m < 159; m++) {
+		for (n = m + 1; n < 160; n++) {
+			if (!memcmp(standard_efr[m], standard_efr[n], 31))
+				printf("Bad: sequences #%u and #%u are equal\n",
+					m, n);
+		}
+	}
+	exit(0);
+}