:- module(unittest_examples,[],[assertions]).

:- doc(title,"Examples (unittest)").

:- doc(author, "Edison Mera").
:- doc(author, "Pedro L@'{o}pez").
:- doc(author, "Manuel Hermenegildo").

:- doc(stability,beta).

:- doc(module, "Some examples of the use of test assertions.

@section{test_examples.pl}

@includecode{unittest/examples/test_examples.pl}

@section{ceval1.pl}

@includecode{unittest/examples/ceval1.pl}

@section{ceval2.pl}

@includecode{unittest/examples/ceval2.pl}

@section{length.pl}

@includecode{unittest/examples/length.pl}

@section{civil_registry.pl}

@includecode{unittest/examples/civil_registry.pl}

@section{qsort.pl}

@includecode{unittest/examples/qsort.pl}

@section{relationships.pl}

@includecode{unittest/examples/relationships.pl}

").

main.
