#include "control.h"
#include "report.h"
+
#include "tvec.h"
+#include "tvec-adhoc.h"
+#include "tvec-types.h"
/*----- Main code ---------------------------------------------------------*/
static int step;
#define TESTGROUP(name) \
- TVEC_TESTGROUP(tg, &tvstate, name) \
+ TVEC_TESTGROUP_TAG(grp, &tvstate, name) \
MC_BEFORE(init, { step = 0; })
-#define TEST TVEC_TEST(test, &tvstate)
+#define TEST TVEC_TEST_TAG(test, &tvstate)
#define STEP(s) do { \
tvec_claim(&tvstate, s == step, __FILE__, __LINE__, \
"found %d /= expected %d", s, step); \
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]);
}