Menu

Tree [r2] /
 History

HTTPS access


File Date Author Commit
 README.txt 2009-11-12 osallou [r2] Set 2 unix format, modify predicate calls in as...
 out.xml 2009-11-09 osallou [r1] Src import
 plunittest.pro 2009-11-12 osallou [r2] Set 2 unix format, modify predicate calls in as...
 sampleUnit.pro 2009-11-12 osallou [r2] Set 2 unix format, modify predicate calls in as...

Read Me

/*****************************

	PROLOGUNIT
	
	License: CECILL v2
	
	Author: Olivier Sallou - IRISA

	Version: 1.0.1


******************************/

PLUNITTEST is a simple unit test framework for Prolog.
It has been tested with Sicstus prolog but should work without issue (or easy modifications) with other Prolog implementations.
The goal is to give a framework facility to implement automated unit testing of prolog programs via continuous integration tools. It generates an XML file compliant with Junit MXL output (though not such complete).
It implements a few test functions to be used in a Prolog test file.
It supports:
assertTrue, assertFalse, assertEqual.

The file sampleUnit.pro is a sample prolog program that loads the framework and executes some basic tests.
It takes as input the path to the framework library and path to the output file:
execute with: sicstus -l sampleUnit.pro -a ./out.xml ./plunittest.pro

It has been successfuly integrated with Hudson via an ant build file execuing the command line and generating the XML result file.
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.