1 files changed, 16 insertions, 0 deletions
diff --git a/prog/prog_test.go b/prog/prog_test.go
index 967b93210..29b4d385e 100644
--- a/prog/prog_test.go
+++ b/prog/prog_test.go
@@ -397,3 +397,19 @@ fallback$0()
 		})
 	}
 }
+
+func TestSanitizeRandom(t *testing.T) {
+	testEachTargetRandom(t, func(t *testing.T, target *Target, rs rand.Source, iters int) {
+		for i := 0; i < iters; i++ {
+			p := target.Generate(rs, 10, nil)
+			s0 := string(p.Serialize())
+			for _, c := range p.Calls {
+				target.SanitizeCall(c)
+			}
+			s1 := string(p.Serialize())
+			if s0 != s1 {
+				t.Fatalf("non-sanitized program or non-idempotent sanitize\nwas: %v\ngot: %v", s0, s1)
+			}
+		}
+	})
+}