diff --git a/test/driver/stdin_input/test.t/binary_ast b/test/driver/stdin_input/test.t/binary_ast
deleted file mode 100644
index 3175122da..000000000
Binary files a/test/driver/stdin_input/test.t/binary_ast and /dev/null differ
diff --git a/test/driver/stdin_input/test.t/run.t b/test/driver/stdin_input/test.t/run.t
index 0e14e2db4..d3856541f 100644
--- a/test/driver/stdin_input/test.t/run.t
+++ b/test/driver/stdin_input/test.t/run.t
@@ -1,12 +1,20 @@
-The driver can read from stdin. Both when the input is source code...
+The driver can read from stdin.
 
+It works with sources...
 
   $ ../identity_driver.exe -impl - << EOF
   > let a = 1
   > EOF
   let a = 1
 
-...and when the input is a binary AST.
+... but it should also work with binary ASTs.
+We generate a binary AST file...
+
+  $ ../identity_driver.exe --dump-ast -o binary_ast -impl - << EOF
+  > let b = 2
+  > EOF
+
+... and ensure the driver can also read it from stdin
 
   $ cat binary_ast | ../identity_driver.exe -impl -
   let b = 2