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.