The name of the check-N.c file is used as a pointer to the file ../../tests/N-*.asn1. That ASN.1 file is compiled together with check-N.c in a temporary directory. The check-N.c file contains the test engine. For manual execution of a specific test case: ./check-assembly.sh check-.c