Viewing file: vperm-4-1.inc (5.14 KB) -rw-r--r-- Select action/file-type: (+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |
/* This file auto-generated with ./vperm.pl 4 1. */
void check0(void) { TEST (0, 0, 0, 0) TEST (1, 0, 0, 0) TEST (2, 0, 0, 0) TEST (3, 0, 0, 0) TEST (0, 1, 0, 0) TEST (1, 1, 0, 0) TEST (2, 1, 0, 0) TEST (3, 1, 0, 0) TEST (0, 2, 0, 0) TEST (1, 2, 0, 0) TEST (2, 2, 0, 0) TEST (3, 2, 0, 0) TEST (0, 3, 0, 0) TEST (1, 3, 0, 0) TEST (2, 3, 0, 0) TEST (3, 3, 0, 0) TEST (0, 0, 1, 0) TEST (1, 0, 1, 0) TEST (2, 0, 1, 0) TEST (3, 0, 1, 0) TEST (0, 1, 1, 0) TEST (1, 1, 1, 0) TEST (2, 1, 1, 0) TEST (3, 1, 1, 0) TEST (0, 2, 1, 0) TEST (1, 2, 1, 0) TEST (2, 2, 1, 0) TEST (3, 2, 1, 0) TEST (0, 3, 1, 0) TEST (1, 3, 1, 0) TEST (2, 3, 1, 0) TEST (3, 3, 1, 0) TEST (0, 0, 2, 0) TEST (1, 0, 2, 0) TEST (2, 0, 2, 0) TEST (3, 0, 2, 0) TEST (0, 1, 2, 0) TEST (1, 1, 2, 0) TEST (2, 1, 2, 0) TEST (3, 1, 2, 0) TEST (0, 2, 2, 0) TEST (1, 2, 2, 0) TEST (2, 2, 2, 0) TEST (3, 2, 2, 0) TEST (0, 3, 2, 0) TEST (1, 3, 2, 0) TEST (2, 3, 2, 0) TEST (3, 3, 2, 0) TEST (0, 0, 3, 0) TEST (1, 0, 3, 0) TEST (2, 0, 3, 0) TEST (3, 0, 3, 0) TEST (0, 1, 3, 0) TEST (1, 1, 3, 0) TEST (2, 1, 3, 0) TEST (3, 1, 3, 0) TEST (0, 2, 3, 0) TEST (1, 2, 3, 0) TEST (2, 2, 3, 0) TEST (3, 2, 3, 0) TEST (0, 3, 3, 0) TEST (1, 3, 3, 0) TEST (2, 3, 3, 0) TEST (3, 3, 3, 0) TEST (0, 0, 0, 1) TEST (1, 0, 0, 1) TEST (2, 0, 0, 1) TEST (3, 0, 0, 1) TEST (0, 1, 0, 1) TEST (1, 1, 0, 1) TEST (2, 1, 0, 1) TEST (3, 1, 0, 1) TEST (0, 2, 0, 1) TEST (1, 2, 0, 1) TEST (2, 2, 0, 1) TEST (3, 2, 0, 1) TEST (0, 3, 0, 1) TEST (1, 3, 0, 1) TEST (2, 3, 0, 1) TEST (3, 3, 0, 1) TEST (0, 0, 1, 1) TEST (1, 0, 1, 1) TEST (2, 0, 1, 1) TEST (3, 0, 1, 1) TEST (0, 1, 1, 1) TEST (1, 1, 1, 1) TEST (2, 1, 1, 1) TEST (3, 1, 1, 1) TEST (0, 2, 1, 1) TEST (1, 2, 1, 1) TEST (2, 2, 1, 1) TEST (3, 2, 1, 1) TEST (0, 3, 1, 1) TEST (1, 3, 1, 1) TEST (2, 3, 1, 1) TEST (3, 3, 1, 1) TEST (0, 0, 2, 1) TEST (1, 0, 2, 1) TEST (2, 0, 2, 1) TEST (3, 0, 2, 1) TEST (0, 1, 2, 1) TEST (1, 1, 2, 1) TEST (2, 1, 2, 1) TEST (3, 1, 2, 1) TEST (0, 2, 2, 1) TEST (1, 2, 2, 1) TEST (2, 2, 2, 1) TEST (3, 2, 2, 1) TEST (0, 3, 2, 1) TEST (1, 3, 2, 1) TEST (2, 3, 2, 1) TEST (3, 3, 2, 1) TEST (0, 0, 3, 1) TEST (1, 0, 3, 1) TEST (2, 0, 3, 1) TEST (3, 0, 3, 1) TEST (0, 1, 3, 1) TEST (1, 1, 3, 1) TEST (2, 1, 3, 1) TEST (3, 1, 3, 1) TEST (0, 2, 3, 1) TEST (1, 2, 3, 1) TEST (2, 2, 3, 1) TEST (3, 2, 3, 1) TEST (0, 3, 3, 1) TEST (1, 3, 3, 1) TEST (2, 3, 3, 1) TEST (3, 3, 3, 1) }
void check1(void) { TEST (0, 0, 0, 2) TEST (1, 0, 0, 2) TEST (2, 0, 0, 2) TEST (3, 0, 0, 2) TEST (0, 1, 0, 2) TEST (1, 1, 0, 2) TEST (2, 1, 0, 2) TEST (3, 1, 0, 2) TEST (0, 2, 0, 2) TEST (1, 2, 0, 2) TEST (2, 2, 0, 2) TEST (3, 2, 0, 2) TEST (0, 3, 0, 2) TEST (1, 3, 0, 2) TEST (2, 3, 0, 2) TEST (3, 3, 0, 2) TEST (0, 0, 1, 2) TEST (1, 0, 1, 2) TEST (2, 0, 1, 2) TEST (3, 0, 1, 2) TEST (0, 1, 1, 2) TEST (1, 1, 1, 2) TEST (2, 1, 1, 2) TEST (3, 1, 1, 2) TEST (0, 2, 1, 2) TEST (1, 2, 1, 2) TEST (2, 2, 1, 2) TEST (3, 2, 1, 2) TEST (0, 3, 1, 2) TEST (1, 3, 1, 2) TEST (2, 3, 1, 2) TEST (3, 3, 1, 2) TEST (0, 0, 2, 2) TEST (1, 0, 2, 2) TEST (2, 0, 2, 2) TEST (3, 0, 2, 2) TEST (0, 1, 2, 2) TEST (1, 1, 2, 2) TEST (2, 1, 2, 2) TEST (3, 1, 2, 2) TEST (0, 2, 2, 2) TEST (1, 2, 2, 2) TEST (2, 2, 2, 2) TEST (3, 2, 2, 2) TEST (0, 3, 2, 2) TEST (1, 3, 2, 2) TEST (2, 3, 2, 2) TEST (3, 3, 2, 2) TEST (0, 0, 3, 2) TEST (1, 0, 3, 2) TEST (2, 0, 3, 2) TEST (3, 0, 3, 2) TEST (0, 1, 3, 2) TEST (1, 1, 3, 2) TEST (2, 1, 3, 2) TEST (3, 1, 3, 2) TEST (0, 2, 3, 2) TEST (1, 2, 3, 2) TEST (2, 2, 3, 2) TEST (3, 2, 3, 2) TEST (0, 3, 3, 2) TEST (1, 3, 3, 2) TEST (2, 3, 3, 2) TEST (3, 3, 3, 2) TEST (0, 0, 0, 3) TEST (1, 0, 0, 3) TEST (2, 0, 0, 3) TEST (3, 0, 0, 3) TEST (0, 1, 0, 3) TEST (1, 1, 0, 3) TEST (2, 1, 0, 3) TEST (3, 1, 0, 3) TEST (0, 2, 0, 3) TEST (1, 2, 0, 3) TEST (2, 2, 0, 3) TEST (3, 2, 0, 3) TEST (0, 3, 0, 3) TEST (1, 3, 0, 3) TEST (2, 3, 0, 3) TEST (3, 3, 0, 3) TEST (0, 0, 1, 3) TEST (1, 0, 1, 3) TEST (2, 0, 1, 3) TEST (3, 0, 1, 3) TEST (0, 1, 1, 3) TEST (1, 1, 1, 3) TEST (2, 1, 1, 3) TEST (3, 1, 1, 3) TEST (0, 2, 1, 3) TEST (1, 2, 1, 3) TEST (2, 2, 1, 3) TEST (3, 2, 1, 3) TEST (0, 3, 1, 3) TEST (1, 3, 1, 3) TEST (2, 3, 1, 3) TEST (3, 3, 1, 3) TEST (0, 0, 2, 3) TEST (1, 0, 2, 3) TEST (2, 0, 2, 3) TEST (3, 0, 2, 3) TEST (0, 1, 2, 3) TEST (1, 1, 2, 3) TEST (2, 1, 2, 3) TEST (3, 1, 2, 3) TEST (0, 2, 2, 3) TEST (1, 2, 2, 3) TEST (2, 2, 2, 3) TEST (3, 2, 2, 3) TEST (0, 3, 2, 3) TEST (1, 3, 2, 3) TEST (2, 3, 2, 3) TEST (3, 3, 2, 3) TEST (0, 0, 3, 3) TEST (1, 0, 3, 3) TEST (2, 0, 3, 3) TEST (3, 0, 3, 3) TEST (0, 1, 3, 3) TEST (1, 1, 3, 3) TEST (2, 1, 3, 3) TEST (3, 1, 3, 3) TEST (0, 2, 3, 3) TEST (1, 2, 3, 3) TEST (2, 2, 3, 3) TEST (3, 2, 3, 3) TEST (0, 3, 3, 3) TEST (1, 3, 3, 3) TEST (2, 3, 3, 3) TEST (3, 3, 3, 3) }
void check(void) { check0 (); check1 (); }
|