From 950f3f27b1bbd883767ae282be25414e04f11465 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 5 Aug 2025 10:13:43 +0200 Subject: Added build target to run solvetests --- README.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'README.md') diff --git a/README.md b/README.md index fa5b4a3..34d5f72 100644 --- a/README.md +++ b/README.md @@ -73,6 +73,8 @@ output, the results compared with the .out files) and test/last.err Tests are always run in debug mode: this means that optimizations are disabled and some extra logging is enabled. +More comprehensive tests (integration tests) can be performed with *tools*. + ## Running "tools" In the tools folder there are some small programs that test various @@ -104,6 +106,18 @@ file in the tools/results folder. To build and run a tool in debug mode, use `./build -d tool`. +### The `solvetest` tools + +The tools denoted with `solvetest` can be used to test that the various +solvers produce the correct solutions. They can be run individually as +all other tools, or all together with + +``` +$ ./build solvetest # Use -d for debug mode (very slow for some solvers) +``` + +If one of the solvetests fails, subsequent tests are going to be skipped. + ## Command-line interface The `shell` folder contains the code for a rudimentary shell that can -- cgit v1.3