Fri, 11 Jul 2003 14:59:11 +0200 | berghofe | Added functions for random testing. | changeset | files |
Fri, 11 Jul 2003 14:57:00 +0200 | berghofe | Added generator for test case generators. | changeset | files |
Fri, 11 Jul 2003 14:56:30 +0200 | berghofe | mk_int now produces specific constants for 0 and 1. | changeset | files |