Daikon version 5.2.4, released May 1, 2015; http://plse.cs.washington.edu/daikon. Reading declaration files [20:10:42]: Processing trace data; reading 1 dtrace file: [20:10:43]: Reading D:\workshop\t2framework\repos\experiments\strucOracles\daik [20:10:43]: 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 Sequenic.T2.Obj.XShow():::ENTER] =========================================================================== Sequenic.T2.Obj.XShow():::EXIT 32 samples Variables: exception return return.maxDepth return.InitialIndentation return.showFilter return.veryCompactShow[] size(return.veryCompactShow[]) size(return.veryCompactShow[])-1 exception == "" (32 samples) return != null (32 samples) return.maxDepth == 5 (32 samples) return.InitialIndentation == 6 (32 samples) return.showFilter == null (32 samples) return.veryCompactShow[] contains no nulls and has only one value, of length 9 (32 samples) return.veryCompactShow[] elements != null (32 samples) size(return.veryCompactShow[]) == 9 (32 samples) =========================================================================== Sequenic.T2.Obj.XShow(int,int):::ENTER 48 samples Variables: arg0 arg1 =========================================================================== Sequenic.T2.Obj.XShow(int,int):::EXIT 48 samples Variables: arg0 arg1 exception return return.maxDepth return.InitialIndentation return.showFilter return.veryCompactShow[] orig(arg0) orig(arg1) size(return.veryCompactShow[]) size(return.veryCompactShow[])-1 Unmodified variables: arg0 arg1 arg0 == orig(arg0) (48 samples) arg1 == orig(arg1) (48 samples) exception one of { "", "java.lang.IllegalArgumentException" } (48 samples) return != null (48 samples) return.maxDepth >= 0 (48 samples) return.InitialIndentation >= 0 (48 samples) return.veryCompactShow[] elements != null (48 samples) size(return.veryCompactShow[]) one of { 0, 9 } (48 samples) size(return.veryCompactShow[])-1 != 0 (48 samples) =========================================================================== show(Object):::ENTER 1936 samples Variables: arg0 arg0 != null (1936 samples) =========================================================================== show(Object):::EXIT 1936 samples Variables: arg0 exception return return.CASE_INSENSITIVE_ORDER orig(arg0) Modified variables: arg0 arg0 != null (1936 samples) exception == "" (1936 samples) return.CASE_INSENSITIVE_ORDER has only one value (1936 samples) return.CASE_INSENSITIVE_ORDER != null (1936 samples) exception < return (1936 samples) =========================================================================== show(Object,int,int):::ENTER 2252 samples Variables: arg0 arg1 arg2 arg0 != null (2252 samples) =========================================================================== show(Object,int,int):::EXIT 2252 samples Variables: arg0 arg1 arg2 exception return return.CASE_INSENSITIVE_ORDER orig(arg0) orig(arg1) orig(arg2) Modified variables: arg0 Unmodified variables: arg1 arg2 arg1 == orig(arg1) (2252 samples) arg2 == orig(arg2) (2252 samples) arg0 != null (2252 samples) exception one of { "", "java.lang.IllegalArgumentException" } (2252 samples) return.CASE_INSENSITIVE_ORDER != null (2252 samples) exception != return (2252 samples) =========================================================================== showWithContNum(Object):::ENTER 272 samples Variables: maxDepth InitialIndentation showFilter veryCompactShow[] arg0 size(veryCompactShow[]) size(veryCompactShow[])-1 maxDepth >= 0 (272 samples) InitialIndentation >= 0 (272 samples) showFilter == null (272 samples) veryCompactShow[] contains no nulls and has only one value, of length 9 (272 samples) veryCompactShow[] elements != null (272 samples) arg0 != null (272 samples) size(veryCompactShow[]) == 9 (272 samples) =========================================================================== showWithContNum(Object):::EXIT 272 samples Variables: maxDepth InitialIndentation showFilter veryCompactShow[] arg0 exception return return.CASE_INSENSITIVE_ORDER orig(maxDepth) orig(InitialIndentation) orig(showFilter) orig(veryCompactShow[]) orig(arg0) size(veryCompactShow[]) size(veryCompactShow[])-1 orig(size(veryCompactShow[])) orig(size(veryCompactShow[]))-1 Modified variables: arg0 Unmodified variables: maxDepth InitialIndentation showFilter veryCompactShow[] size(veryCompactShow[]) maxDepth == orig(maxDepth) (272 samples) InitialIndentation == orig(InitialIndentation) (272 samples) showFilter == orig(showFilter) (272 samples) veryCompactShow[] == orig(veryCompactShow[]) (272 samples) maxDepth >= 0 (272 samples) InitialIndentation >= 0 (272 samples) showFilter == null (272 samples) veryCompactShow[] contains no nulls and has only one value, of length 9 (272 samples) veryCompactShow[] elements != null (272 samples) arg0 != null (272 samples) exception == "" (272 samples) return.CASE_INSENSITIVE_ORDER has only one value (272 samples) return.CASE_INSENSITIVE_ORDER != null (272 samples) size(veryCompactShow[]) == 9 (272 samples) exception < return (272 samples) =========================================================================== Variables: non_canonical_variables = 0 can_be_missing_variables = 0 canonical_variables = 0 total variables = 0 Derivation: derived_variables = 10 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: 847 = 660 falsified_invariants = 420 non_falsified_invariants = 240 = 52 unjustified = 0 too_few_samples_invariants = 0 unjustified_invariants = 0 implied = 0 non_canonical_invariants = 0 obvious_invariants = 0 reported_invariants = 52 Exiting Daikon.