Daikon version 5.2.4, released May 1, 2015; http://plse.cs.washington.edu/daikon. Reading declaration files [18:49:47]: Processing trace data; reading 1 dtrace file: [18:49:48]: Reading D:\workshop\t2framework\repos\experiments\strucOracles\daik [18:49:49]: Reading D:\workshop\t2framework\repos\experiments\strucOracles\daik [18:49:50]: Finished reading D:\workshop\t2framework\repos\experiments\strucOra The --output_num_samples debugging flag is on. Some of the debugging output may only make sense to Daikon programmers. [No samples for empty():::ENTER] =========================================================================== empty():::EXIT 480 samples Variables: exception return exception == "" (480 samples) return == null (480 samples) =========================================================================== equals(Object):::ENTER 186 samples Variables: arg0 arg0 != null (186 samples) =========================================================================== equals(Object):::EXIT 186 samples Variables: arg0 exception return return.TRUE return.FALSE return.TYPE orig(arg0) Modified variables: arg0 arg0 != null (186 samples) exception == "" (186 samples) return.TRUE == true (186 samples) return.FALSE == false (186 samples) return.TYPE has only one value (186 samples) return.TYPE != null (186 samples) [No samples for getRawResponse():::ENTER] =========================================================================== getRawResponse():::EXIT 130 samples Variables: exception return return.CASE_INSENSITIVE_ORDER exception one of { "", "java.lang.IllegalStateException" } (130 samples) return.CASE_INSENSITIVE_ORDER != null (130 samples) [No samples for getSecret():::ENTER] =========================================================================== getSecret():::EXIT 162 samples Variables: exception return return.CASE_INSENSITIVE_ORDER exception == "" (162 samples) return.CASE_INSENSITIVE_ORDER has only one value (162 samples) return.CASE_INSENSITIVE_ORDER != null (162 samples) exception < return (162 samples) [No samples for getToken():::ENTER] =========================================================================== getToken():::EXIT 155 samples Variables: exception return return.CASE_INSENSITIVE_ORDER exception == "" (155 samples) return.CASE_INSENSITIVE_ORDER has only one value (155 samples) return.CASE_INSENSITIVE_ORDER != null (155 samples) exception < return (155 samples) [No samples for hashCode():::ENTER] =========================================================================== hashCode():::EXIT 149 samples Variables: exception return return.MIN_VALUE return.MAX_VALUE return.TYPE return.SIZE return.BYTES exception == "" (149 samples) return.MIN_VALUE == -2147483648 (149 samples) return.MAX_VALUE == 2147483647 (149 samples) return.TYPE has only one value (149 samples) return.TYPE != null (149 samples) return.SIZE == 32 (149 samples) return.BYTES == 4 (149 samples) return > return.MIN_VALUE (149 samples) return < return.MAX_VALUE (149 samples) return != return.SIZE (149 samples) return != return.BYTES (149 samples) [No samples for isEmpty():::ENTER] =========================================================================== isEmpty():::EXIT 145 samples Variables: exception return return.TRUE return.FALSE return.TYPE exception == "" (145 samples) return.TRUE == true (145 samples) return.FALSE == false (145 samples) return.TYPE has only one value (145 samples) return.TYPE != null (145 samples) =========================================================================== org.scribe.model.Token(String,String):::ENTER 268 samples Variables: arg0 arg1 =========================================================================== org.scribe.model.Token(String,String):::EXIT 268 samples Variables: arg0 arg1 exception return orig(arg0) orig(arg1) Unmodified variables: arg0 arg1 exception one of { "", "java.lang.IllegalArgumentException" } (268 samples) arg0 == orig(arg0) (268 samples) arg1 == orig(arg1) (268 samples) =========================================================================== org.scribe.model.Token(String,String,String):::ENTER 372 samples Variables: arg0 arg1 arg2 =========================================================================== org.scribe.model.Token(String,String,String):::EXIT 372 samples Variables: arg0 arg1 arg2 exception return orig(arg0) orig(arg1) orig(arg2) Unmodified variables: arg0 arg1 arg2 exception one of { "", "java.lang.IllegalArgumentException" } (372 samples) arg0 == orig(arg0) (372 samples) arg1 == orig(arg1) (372 samples) arg2 == orig(arg2) (372 samples) [No samples for toString():::ENTER] =========================================================================== toString():::EXIT 133 samples Variables: exception return return.CASE_INSENSITIVE_ORDER exception == "" (133 samples) return.CASE_INSENSITIVE_ORDER has only one value (133 samples) return.CASE_INSENSITIVE_ORDER != null (133 samples) exception < return (133 samples) =========================================================================== Variables: non_canonical_variables = 0 can_be_missing_variables = 0 canonical_variables = 0 total variables = 0 Derivation: derived_variables = 0 suppressed derived variables = 0 nonsensical_suppressed_derived_variables = 0 tautological_suppressed_derived_variables = 0 Inference: Non-instantiated: 0 true = 0 implied_noninstantiated_invariants = 0 subexact_noninstantiated_invariants = 0 false = 0 implied_false_noninstantiated_invariants = 0 partially_implied_invariants = 0 Instantiated: 489 = 410 falsified_invariants = 251 non_falsified_invariants = 159 = 46 unjustified = 0 too_few_samples_invariants = 0 unjustified_invariants = 0 implied = 0 non_canonical_invariants = 0 obvious_invariants = 0 reported_invariants = 46 Exiting Daikon.