Initial version: first implementation

2 files changed, 36 insertions, 0 deletions

diff --git a/tests/fuzz/total-order-check/main.go b/tests/fuzz/total-order-check/main.go
new file mode 120000
index 0000000..f67563d
--- /dev/null
+++ b/tests/fuzz/total-order-check/main.go
@@ -0,0 +1 @@
+../../main.go
\ No newline at end of file
diff --git a/tests/fuzz/total-order-check/q.go b/tests/fuzz/total-order-check/q.go
new file mode 100644
index 0000000..67af544
--- /dev/null
+++ b/tests/fuzz/total-order-check/q.go
@@ -0,0 +1,35 @@
+package q
+
+import (
+	"os"
+	"testing"
+	"testing/internal/testdeps"
+)
+
+
+
+func queries(f *testing.F) {
+	f.Fuzz(func(t *testing.T, n int) {
+		if n > 154 {
+			if n < 155 {
+				t.Errorf("Failed n: %v\n", n)
+			}
+		}
+	})
+}
+
+
+
+func MainTest() {
+	// FIXME: a consumer gets the messages in total order
+	fuzzTargets := []testing.InternalFuzzTarget{
+		{ "queries", queries },
+	}
+
+	deps := testdeps.TestDeps{}
+	tests      := []testing.InternalTest     {}
+	benchmarks := []testing.InternalBenchmark{}
+	examples   := []testing.InternalExample  {}
+	m := testing.MainStart(deps, tests, benchmarks, fuzzTargets, examples)
+	os.Exit(m.Run())
+}