1 files changed, 24 insertions, 0 deletions
diff --git a/tests/test/generated/driver.cxx b/tests/test/generated/driver.cxx
new file mode 100644
index 0000000..008dbf7
--- /dev/null
+++ b/tests/test/generated/driver.cxx
@@ -0,0 +1,24 @@
+#include <iostream>
+#include <fstream>
+
+using namespace std;
+
+int
+main (int argc, char* argv[])
+{
+  if (argc != 2)
+  {
+    cerr << "usage: " << argv[0] << " <file>" << endl;
+    return 1;
+  }
+
+  ifstream ifs (argv[1], ifstream::in | ifstream::binary | ifstream::ate);
+
+  if (!ifs.is_open ())
+    cerr << "unable to open " << argv[1] << endl;
+
+  if (ifs.tellg () == 0)
+    cerr << argv[1] << " is empty" << endl;
+
+  return 0;
+}