#include "control.h"
#include "report.h"
+
#include "tvec.h"
+#include "tvec-adhoc.h"
+#include "tvec-types.h"
/*----- Main code ---------------------------------------------------------*/
int main(int argc, char *argv[])
{
- struct tvec_test test;
int argpos;
int i;
tvec_parseargs(argc, argv, &tvstate, &argpos, &tvec_adhocconfig);
if (argpos < argc) die(2, "no input files expected");
- tvec_adhoc(&tvstate, &test);
TESTGROUP("before-after") {
MC_BEFORE(before0, STEP(0)) STEP(1);
FOR_FIZZBUZZ(fb, 19, 32)
TEST
if (TVEC_CLAIM(&tvstate, ref[i]))
- { TVEC_CLAIMEQ_STRZ(&tvstate, fb, ref[i]); i++; }
+ { TVEC_CLAIMEQ_TEXTZ(&tvstate, fb, ref[i]); i++; }
TVEC_CLAIM(&tvstate, !ref[i]);
}