YAP 7.1.0
parameters.yap File Reference

Experimental test generation code. More...

Go to the source code of this file.

Detailed Description

Experimental test generation code.

Author
VITOR SANTOS COSTA vsc@V.nosp@m.ITOR.nosp@m.s-MBP.nosp@m..lan
Date
Tue Nov 17 23:34:04 2015

Definition in file parameters.yap.