#include <lttv/print.h>
#include <ltt/ltt.h>
#include <ltt/event.h>
-#include <ltt/type.h>
#include <ltt/trace.h>
-#include <ltt/facility.h>
#include <stdio.h>
static gboolean
/* Print the trace set header */
if(a_raw) {
/* TODO : Write a header that will check for ILP size and endianness */
- fputc(HDR_TRACESET, a_file);
+ //fputc(HDR_TRACESET, a_file);
+ g_assert(lttv_traceset_number(tc->ts) == 1); /* Only one trace in traceset */
} else {
fprintf(a_file,"<TRACESET NUM_TRACES=%d/>\n",
lttv_traceset_number(tc->ts));
LTTV_MODULE("precomputeState", "Precompute states", \
- "Precompute states in a trace, XML output.", \
+ "Precompute states in a trace, XML or binary output.", \
init, destroy, "stats", "batchAnalysis", "option", "print")