1 files changed, 55 insertions, 0 deletions
diff --git a/test/trace_invalid.h b/test/trace_invalid.h
new file mode 100644
index 0000000..73881e1
--- /dev/null
+++ b/test/trace_invalid.h
@@ -0,0 +1,55 @@
+/* trace_invalid.h -- fixture to create an invalid trace
+ * Copyright (C) 2014  Galois, Inc.
+ *
+ * This program is free software: you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the Free
+ * Software Foundation, either version 3 of the License, or (at your option)
+ * any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
+ * more details.
+ *
+ * You should have received a copy of the GNU General Public License along with
+ * this program.  If not, see <http://www.gnu.org/licenses/>.
+ *
+ * To contact Galois, complete the Web form at
+ * <http://corp.galois.com/contact/> or write to Galois, Inc., 421 Southwest
+ * 6th Avenue, Suite 300, Portland, Oregon, 97204-1622.
+ *
+ *
+ * This fixture creates an invalid OTF trace in the currently-active temporary
+ * directory.  It does not remove it, as it will be removed when the temporary
+ * directory is cleaned.
+ *
+ * Runtime dependency: tmpdir */
+
+#ifndef PPAML_TRACER_TEST_TRACE_INVALID_H
+#define PPAML_TRACER_TEST_TRACE_INVALID_H
+
+#include "tmpdir.h"
+
+#define HAVE_FIXTURE_trace_invalid HAVE_FIXTURE_tmpdir
+
+#if HAVE_FIXTURE_trace_invalid
+	void trace_invalid_make();
+
+	/* Despite its name, this function does not actually clean anything.
+	 * It's provided to make it easier to interface with Check. */
+	void trace_invalid_clean();
+
+	/* Returns the path to the trace.  If no trace is active, returns
+	 * NULL. */
+	const char *trace_invalid_path();
+
+	// Registers the fixture.
+	inline void trace_invalid_add_checked(TCase *const tc) {
+		tcase_add_checked_fixture(
+			tc,
+			trace_invalid_make,
+			trace_invalid_clean);
+	}
+#endif
+
+#endif