// S : tags   min c  $TAGS
// S : expect --result valid
// S : verify -E a=b -Ec=d $V_OPT $file test

#include <dios.h>
#include <assert.h>
#include <string.h>

int main( int argc, char **argv, char **envp )
{
    assert( argc == 2 );
    const char* test_name = "main-args-c.chk.c";
    int tl = strlen( test_name );
    int l = strlen( argv[0] );
    __dios_trace_f( "Binary name: %s", argv[0] + l - tl );
    assert( strcmp( argv[0] + l - tl, test_name ) == 0 );
    assert( strcmp( argv[1], "test" ) == 0 );
    assert( argv[2] == NULL);

    assert( envp != NULL );
    assert( strcmp( envp[0], "a=b" ) == 0 );
    assert( strcmp( envp[1], "c=d" ) == 0 );
    assert( envp[2] == NULL );
}