linbox
checker.C File Reference

script to run LinBox tests More...

#include <cstdlib>
#include <iostream>
#include <fstream>
#include <sstream>
#include <map>
#include <set>
#include <vector>
#include "linbox/linbox-config.h"

Functions

void warn (const string &t, const string &w)
 
void skip (const string &t, const string &w)
 
void hide (const string &t, const string &w)
 
int main (int argc, char *argv[])
 

Variables

map< string, string > warn_note
 
set< string > skips
 
set< string > hides
 

Detailed Description

script to run LinBox tests

Checker is compiled and run by the check macro invoked by "make fullcheck" in the top source dir or in tests/.

Run without args, each test is build and run, with a one line report of success or failure. A summary at the end reports number of test failing to compile, failing at runtime, and skipped. There should be a 1-1 correspondence between files tests/test-*.C and report lines

A LinBox unit/regresssion test has a default behaviour – when there are no command line file names – in which nothing is written to any output stream and the return value is 0 for a passing test, nonzero for any failure.

The current convention is that (1) linbox' checker.C, runs the tests with no command line parameters at all, and (2) if there is a command line file name, verbose diagnostic output is written to that file and more terse output may be written to standard output streams. The second feature is intended to assist debugging with individual tests.

Function Documentation

◆ warn()

void warn ( const string & t,
const string & w )

◆ skip()

void skip ( const string & t,
const string & w )

◆ hide()

void hide ( const string & t,
const string & w )

◆ main()

int main ( int argc,
char * argv[] )

Variable Documentation

◆ warn_note

map< string, string> warn_note

◆ skips

set< string> skips

◆ hides

set< string> hides