{"name": "all_tests", "code": "const char * all_tests ( ) { unsigned int @@v0@@ ; __time_t v2 ; __time_t v3 ; __time_t v4 ; __time_t v5 ; __suseconds_t v6 ; __suseconds_t v7 ; __suseconds_t v8 ; __suseconds_t v9 ; struct timeval @@v10@@ ; struct timeval @@tv@@ ; const char * @@v12@@ ; @@v0@@ = time ( Number L ) ; srand ( @@v0@@ ) ; fprintf ( stderr , String , String , Number L , String ) ; @@v12@@ = test_darray_sort_add_and_darray_find ( ) ; ++ tests_run ; if ( @@v12@@ ) return @@v12@@ ; while ( N <= Number ) { fprintf ( stderr , String , String , Number L , ( unsigned int ) N ) ; gettimeofday ( & @@tv@@ , Number L ) ; fprintf ( stderr , String , String , Number L , String ) ; @@v12@@ = test_gnu_qsort ( ) ; ++ tests_run ; if ( @@v12@@ ) return @@v12@@ ; gettimeofday ( & @@v10@@ , Number L ) ; v2 = @@v10@@ . tv_sec - @@tv@@ . tv_sec ; v6 = @@v10@@ . tv_usec - @@tv@@ . tv_usec ; if ( @@v10@@ . tv_usec - @@tv@@ . tv_usec < Number ) { -- v2 ; v6 += Number L ; } fprintf ( stderr , String , String , Number L , v2 , v6 ) ; gettimeofday ( & @@tv@@ , Number L ) ; fprintf ( stderr , String , String , Number L , String ) ; @@v12@@ = test_qsort ( ) ; ++ tests_run ; if ( @@v12@@ ) return @@v12@@ ; gettimeofday ( & @@v10@@ , Number L ) ; v3 = @@v10@@ . tv_sec - @@tv@@ . tv_sec ; v7 = @@v10@@ . tv_usec - @@tv@@ . tv_usec ; if ( @@v10@@ . tv_usec - @@tv@@ . tv_usec < Number ) { -- v3 ; v7 += Number L ; } fprintf ( stderr , String , String , Number L , v3 , v7 ) ; gettimeofday ( & @@tv@@ , Number L ) ; fprintf ( stderr , String , String , Number L , String ) ; @@v12@@ = test_heapsort ( ) ; ++ tests_run ; if ( @@v12@@ ) return @@v12@@ ; gettimeofday ( & @@v10@@ , Number L ) ; v4 = @@v10@@ . tv_sec - @@tv@@ . tv_sec ; v8 = @@v10@@ . tv_usec - @@tv@@ . tv_usec ; if ( @@v10@@ . tv_usec - @@tv@@ . tv_usec < Number ) { -- v4 ; v8 += Number L ; } fprintf ( stderr , String , String , Number L , v4 , v8 ) ; gettimeofday ( & @@tv@@ , Number L ) ; fprintf ( stderr , String , String , Number L , String ) ; @@v12@@ = test_mergesort ( ) ; ++ tests_run ; if ( @@v12@@ ) return @@v12@@ ; gettimeofday ( & @@v10@@ , Number L ) ; v5 = @@v10@@ . tv_sec - @@tv@@ . tv_sec ; v9 = @@v10@@ . tv_usec - @@tv@@ . tv_usec ; if ( @@v10@@ . tv_usec - @@tv@@ . tv_usec < Number ) { -- v5 ; v9 += Number L ; } fprintf ( stderr , String , String , Number L , v5 , v9 ) ; N *= Number ; } return Number L ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r8"}, {"n": "tv", "t": {"T": 6, "n": "struct timeval", "l": [{"T": 4, "n": "tv_sec", "t": "__time_t", "s": 8}, {"T": 4, "n": "tv_usec", "t": "__suseconds_t", "s": 8}]}, "location": "s32"}, {"n": "v10", "t": {"T": 6, "n": "struct timeval", "l": [{"T": 4, "n": "tv_sec", "t": "__time_t", "s": 8}, {"T": 4, "n": "tv_usec", "t": "__suseconds_t", "s": 8}]}, "location": "s48"}, {"n": "v12", "t": {"T": 3, "t": "const char"}, "location": "s8"}]}
{"name": "test_darray_sort_add_and_darray_find", "code": "const char * test_darray_sort_add_and_darray_find ( ) { int * v0 ; char * v1 ; const char * result ; int * v3 ; char * v4 ; int * v5 ; char * v6 ; int * v7 ; char * v8 ; int @@v9@@ ; int * @@v10@@ ; @@v10@@ = ( int * ) create_words ( ) ; @@v9@@ = * @@v10@@ ; if ( ( unsigned int ) DArray_sort_add ( @@v10@@ , testcmp , String ) ) { if ( * __errno_location ( ) ) { v0 = __errno_location ( ) ; v1 = strerror ( * v0 ) ; } else { v1 = String ; } fprintf ( stderr , String , String , Number L , String , v1 ) ; result = String ; } else if ( @@v9@@ + Number == * @@v10@@ ) { if ( ( unsigned int ) is_sorted ( @@v10@@ ) ) { if ( ( unsigned int ) DArray_find ( @@v10@@ , testcmp , String ) == * @@v10@@ - Number ) { DArray_destroy ( @@v10@@ ) ; result = Number L ; } else { if ( * __errno_location ( ) ) { v7 = __errno_location ( ) ; v8 = strerror ( * v7 ) ; } else { v8 = String ; } fprintf ( stderr , String , String , Number L , String , v8 ) ; result = String ; } } else { if ( * __errno_location ( ) ) { v5 = __errno_location ( ) ; v6 = strerror ( * v5 ) ; } else { v6 = String ; } fprintf ( stderr , String , String , Number L , String , v6 ) ; result = String ; } } else { if ( * __errno_location ( ) ) { v3 = __errno_location ( ) ; v4 = strerror ( * v3 ) ; } else { v4 = String ; } fprintf ( stderr , String , String , Number L , String , v4 ) ; result = String ; } return result ; }", "source": [{"n": "v9", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v10", "t": {"T": 3, "t": "int"}, "location": "s8"}]} {"name": "main", "code": "int __cdecl __noreturn main ( int @@argc@@ , const char * * @@argv@@ , const char * * @@envp@@ ) { const char * @@v3@@ ; fprintf ( stderr , String , String , Number L , * @@argv@@ ) ; printf ( String , * @@argv@@ ) ; @@v3@@ = all_tests ( ) ; if ( @@v3@@ ) printf ( String , @@v3@@ ) ; else puts ( String ) ; printf ( String , ( unsigned int ) tests_run ) ; exit ( @@v3@@ != Number L ) ; }", "source": [{"n": "envp", "t": {"T": 3, "t": "const char *"}, "location": "r16"}, {"n": "argc", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "argv", "t": {"T": 3, "t": "const char *"}, "location": "r64"}, {"n": "v3", "t": {"T": 3, "t": "const char"}, "location": "s8"}]}