3 .\" Manual for ad-hoc testing with the test vector framework
5 .\" (c) 2024 Straylight/Edgeware
8 .\"----- Licensing notice ---------------------------------------------------
10 .\" This file is part of the mLib utilities library.
12 .\" mLib is free software: you can redistribute it and/or modify it under
13 .\" the terms of the GNU Library General Public License as published by
14 .\" the Free Software Foundation; either version 2 of the License, or (at
15 .\" your option) any later version.
17 .\" mLib is distributed in the hope that it will be useful, but WITHOUT
18 .\" ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
19 .\" FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public
20 .\" License for more details.
22 .\" You should have received a copy of the GNU Library General Public
23 .\" License along with mLib. If not, write to the Free Software
24 .\" Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
27 .\"--------------------------------------------------------------------------
28 .so ../defs.man \" @@@PRE@@@
30 .\"--------------------------------------------------------------------------
31 .TH tvec-adhoc 3mLib "11 March 2024" "Straylight/Edgeware" "mLib utilities library"
39 .\" @TVEC_TESTGROUP_TAG
50 .\"--------------------------------------------------------------------------
52 tvec-adhoc \- ad-hoc testing with the test vector framework
54 .\"--------------------------------------------------------------------------
58 .B "#include <mLib/tvec-adhoc.h>"
60 .BI "const struct tvec_config tvec_adhocconfig;"
61 .BI "void tvec_adhoc(struct tvec_state *" tv ", struct tvec_test *" t );
63 .ta \w'\fBvoid tvec_begingroup('u
64 .BI "void tvec_begingroup(struct tvec_state *" tv ", const char *" name ,
65 .BI " const char *" file ", unsigned " lno );
66 .BI "void TVEC_BEGINGROUP(struct tvec_state *" tv ", const char *" name );
67 .BI "void tvec_endgroup(struct tvec_state *" tv );
68 .BI "TVEC_TESTGROUP(" tv ", " name ") " body
69 .BI "TVEC_TESTGROUP_TAG(" tag ", " tv ", " name ") " body
70 .ta \w'\fBvoid tvec_begintest('u
71 .BI "void tvec_begintest(struct tvec_state *" tv ,
72 .BI " const char *" file ", unsigned " lno );
73 .BI "void TVEC_BEGINTEST(struct tvec_state *" tv );
74 .BI "void tvec_endtest(struct tvec_state *" tv );
75 .BI "TVEC_TEST(" tv ") " body
76 .BI "TVEC_TEST_TAG(" tag ", " tv ") " body
78 .ta \w'\fBint tvec_claim('u
79 .BI "int tvec_claim(struct tvec_state *" tv ", int " ok ,
80 .BI " const char *" file ", unsigned " lno ,
81 .BI " const char *" msg ", ...);"
82 .ta \w'\fBint tvec_claim_v('u
83 .BI "int tvec_claim_v(struct tvec_state *" tv ", int " ok ,
84 .BI " const char *" file ", unsigned " lno ,
85 .BI " const char *" msg ", va_list *" ap );
86 .BI "int TVEC_CLAIM(struct tvec_state *" tv ", int " cond );
87 .ta \w'\fBint tvec_claimeq('u
88 .BI "int tvec_claimeq(struct tvec_state *" tv ,
89 .BI " const struct tvec_regty *" ty ,
90 .BI " const union tvec_misc *" arg ,
91 .BI " const struct tvec_reg *" rval ,
92 .BI " const struct tvec_reg *" rref ,
93 .BI " const char *" file ", unsigned " lno ,
94 .BI " const char *" expr );