Package "rtchecks"

Title:	Run-Time Checker for Assertions
Rating:	Not rated. Create the first rating!
Latest version:	0.0.1
SHA1 sum:	fa934adcf4e6b4c95038bd2ee38430274cdc9c41
Author:	Edison Mera Menendez http://www.edisonm.com/
Maintainer:	Edison Mera Menendez http://www.edisonm.com/
Packager:	Edison Mera Menendez http://www.edisonm.com/
Home page:	https://github.com/edisonm/rtchecks
Download URL:	https://github.com/edisonm/rtchecks.git
Requires:	assertions

Reviews

No reviews. Create the first review!.

Details by download location

Version	SHA1	#Downloads	URL
0.0.1	1f77a83f739b710e47359398802d61e079cbdaf1	1	https://github.com/edisonm/rtchecks.git
	3be55886858306d88d1a38f9f144a5cb167d0324	1	https://github.com/edisonm/rtchecks.git
	46624e6b699baf27bf4ae5a45957fa36ad7c10ca	1	https://github.com/edisonm/rtchecks.git
	53a8bd1326b858b39f6df485935bbe7640a0cf44	4	https://github.com/edisonm/rtchecks.git
	77dd8f9d6275336e4d0effc9b0824ae68faf3429	1	https://github.com/edisonm/rtchecks.git
	7f311777e045bc3929673c6df4ed086cf82e9fd7	1	https://github.com/edisonm/rtchecks.git
	886dfae030252e670e57d1b5eb9be8332222712a	1	https://github.com/edisonm/rtchecks.git
	8daa9d1c76b8233abc6b03aadf56098071adde31	1	https://github.com/edisonm/rtchecks.git
	94917a83c0059fb2ed3584b90142a9c27da27784	1	https://github.com/edisonm/rtchecks.git
	9867b86f71e0cdbda67ee6ac7fbd82ce487dba59	2	https://github.com/edisonm/rtchecks.git
	a874149f0690d905360ff665b325399a027cca84	1	https://github.com/edisonm/rtchecks.git
	b0fb43fe48939720248e83af6aaea073bf02dc14	1	https://github.com/edisonm/rtchecks.git
	d2d0947528e939dbcb51d3b4fb1112f55004c225	1	https://github.com/edisonm/rtchecks.git
	d671341e8b29479b8aefcd3e81ccc6156e3eccc3	3	https://github.com/edisonm/rtchecks.git
	e9a4920c62a84dc8b5428aae825a65c05fbd1473	3	https://github.com/edisonm/rtchecks.git
	fa934adcf4e6b4c95038bd2ee38430274cdc9c41	1	https://github.com/edisonm/rtchecks.git

rtchecks

Run-Time Checking of Assertions for Ciao and SWI-Prolog

Installation

To install the Run-Time checker of assertions, just follow the next sequence of commands in your SWI-Prolog shell:

$ swipl

?- pack_install('https://github.com/edisonm/rtchecks.git'). true.

In Ciao the Run-Time checker is already part of the system so you don't need extra steps to install it.

Contents of pack "rtchecks"

Pack contains 36 files holding a total of 91.5K bytes.