cmd/cue/cmd: verify issue 425 is fixed

Fixes #425

Change-Id: Ie50a613a72401a0a7c2aad63ed4fa4c2c1a753ac
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/7041
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
diff --git a/cmd/cue/cmd/testdata/script/issue425.txt b/cmd/cue/cmd/testdata/script/issue425.txt
new file mode 100644
index 0000000..7c1d192
--- /dev/null
+++ b/cmd/cue/cmd/testdata/script/issue425.txt
@@ -0,0 +1,11 @@
+cue vet list.cue list.json
+
+cmp stdout expect-stdout
+
+-- list.cue --
+[]
+
+-- list.json --
+[]
+
+-- expect-stdout --