Golang property-based testing example

prepend_test.go

package main

import (
	"testing"
	"testing/quick"
)

func TestSlicePrepend(t *testing.T) {
	f := func(head string, tail []string) bool {
		result := prepend(head, tail)
		return len(result) == 1+len(tail) && result[0] == head && SliceEqual(result[1:], tail)
	}
	if err := quick.Check(f, nil); err != nil {
		t.Error(err)
	}
}

func SliceEqual(slice1 []string, slice2 []string) bool {
	if len(slice1) != len(slice2) {
		return false
	}
	for i := range slice1 {
		if slice1[i] != slice2[i] {
			return false
		}
	}
	return true
}