Feature #703

Improve testsuite

Added by Alfons Laarman over 7 years ago. Updated over 6 years ago.

Status:AssignedStart date:08 Mar 2013
Priority:NormalDue date:
Assignee:Jeroen Meijer% Done:

0%

Category:testsuiteSpent time:-
Target version:ltsmin-2.1

Description

From TODO file in testsuite/ :

The test suite needs still to be extended with:

  • tests for the distributed tools using --mpi, --workers and --procs.
    The distributed backend is tested in alg_backends_*, but without parallelism.
    See also the HAVE_POSIX flag in Makefile.am
  • A test case which does (parallel) LTS construction, reduction comparison.
    See lts_generation tests and mini tutorial in main LTSmin manual.
  • Optional multi-core backend tests. See HAVE_ATOMICS in configure.ac
  • More fine-grained dependencies. See Makefile.am, e.g. lts_generation can be
    executed partly without CADP or Mcrl2.
  • Integration of src/tests/test-* binaries
  • POR tests
  • DFS_FIFO tests

History

#1 Updated by Alfons Laarman over 6 years ago

DONE:

o POR tests
o DFS_FIFO tests
o A test case which does (parallel) LTS construction, reduction comparison.
o See lts_generation tests and mini tutorial in main LTSmin manual.
o --procs.

#2 Updated by Alfons Laarman over 6 years ago

  • Tracker changed from Bug to Feature
  • Status changed from New to Assigned
  • Assignee changed from Alfons Laarman to Jeroen Meijer

Also available in: Atom PDF