// S : tags mstring todo $TAGS // S : expect --result valid // S : cc -o test.bc $CC_OPT $file // S : verify -o nofail:malloc $V_OPT test.bc // N : V : CC_OPT : V_OPT : TAGS : RESULT // V : con : : --lamp constring : min : valid // V : sym : : --lamp symstring --symbolic : sym : valid #include #include #include int main() { { char * str = __mstring_sym_val( 3, 'a', 1, 2, 'b', 3, 5, '\0', 6, 7 ); assert( str[ 0 ] == 'a' ); assert( str[ 2 ] == 'a' || str[ 2 ] == 'b' ); assert( str[ 4 ] == 'b' || str[ 4 ] == '\0' ); assert( str[ 5 ] == '\0' ); free( str ); } }