Assertion list
code (primary) → HasProperty
Results from Ascent++: 273
code → HasProperty → correct 0.73
code → HasProperty → valid 0.72
code → HasProperty → open 0.69
code → HasProperty → clear 0.69
code → HasProperty → unique 0.67
code → HasProperty → secure 0.66
code → HasProperty → compatible 0.66
code → HasProperty → applicable 0.65
code → HasProperty → complete 0.65
code → HasProperty → fine 0.64
code → HasProperty → mandatory 0.64
code → HasProperty → identical 0.64
code → HasProperty → voluntary 0.63
code → HasProperty → equivalent 0.63
code → HasProperty → accessible 0.63
code → HasProperty → consistent 0.63
code → HasProperty → common 0.62
code → HasProperty → safe 0.62
code → HasProperty → accurate 0.61
code → HasProperty → clean 0.60
code → HasProperty → maintainable 0.60
code → HasProperty → relevant 0.60
code → HasProperty → simple 0.60
code → HasProperty → executable 0.59
code → HasProperty → cleaner 0.59
code → HasProperty → short 0.59
code → HasProperty → specific 0.59
code → HasProperty → readable 0.58
code → HasProperty → transparent 0.58
code → HasProperty → understandable 0.58
code → HasProperty → portable 0.58
code → HasProperty → sensitive 0.57
code → HasProperty → authentic 0.57
code → HasProperty → admissible 0.57
code → HasProperty → free 0.57
code → HasProperty → sound 0.57
code → HasProperty → original 0.56
code → HasProperty → generic 0.56
code → HasProperty → critical 0.56
code → HasProperty → secret 0.56
code → HasProperty → indented 0.56
code → HasProperty → great 0.56
code → HasProperty → asynchronous 0.55
code → HasProperty → experimental 0.55
code → HasProperty → real 0.55
code → HasProperty → testable 0.55
code → HasProperty → complex 0.55
code → HasProperty → self-contained 0.54
code → HasProperty → more complex 0.54
code → HasProperty → good 0.54
code → HasProperty → current 0.54
code → HasProperty → visible 0.54
code → HasProperty → wrong 0.53
code → HasProperty → strict 0.53
code → HasProperty → viewable 0.53
code → HasProperty → concise 0.53
code → HasProperty → active 0.53
code → HasProperty → modular 0.53
code → HasProperty → large 0.53
code → HasProperty → reliable 0.53
code → HasProperty → descriptive 0.53
code → HasProperty → orthogonal 0.53
code → HasProperty → general 0.53
code → HasProperty → own 0.53
code → HasProperty → small 0.52
code → HasProperty → new 0.52
code → HasProperty → useful 0.52
code → HasProperty → predictable 0.52
code → HasProperty → random 0.52
code → HasProperty → important 0.52
code → HasProperty → effective 0.52
code → HasProperty → static 0.52
code → HasProperty → synchronous 0.52
code → HasProperty → public 0.52
code → HasProperty → stable 0.51
code → HasProperty → downloadable 0.51
code → HasProperty → modifiable 0.51
code → HasProperty → operational 0.51
code → HasProperty → more readable 0.51
code → HasProperty → zero 0.51
code → HasProperty → pure 0.51
code → HasProperty → fast 0.51
code → HasProperty → explicit 0.51
code → HasProperty → gpl 0.50
code → HasProperty → terrible 0.50
code → HasProperty → equal 0.50
code → HasProperty → incompatible 0.50
code → HasProperty → scalable 0.50
code → HasProperty → extensible 0.50
code → HasProperty → separate 0.49
code → HasProperty → necessary 0.49
code → HasProperty → long 0.49
code → HasProperty → alphanumeric 0.49
code → HasProperty → more robust 0.48
code → HasProperty → well-written 0.48
code → HasProperty → linear 0.48
code → HasProperty → optional 0.48
code → HasProperty → dependent 0.48
code → HasProperty → proprietary 0.47
code → HasProperty → redundant 0.47
code → HasProperty → legal 0.47
code → HasProperty → helpful 0.47
code → HasProperty → efficient 0.47
code → HasProperty → shorter 0.47
code → HasProperty → messy 0.47
code → HasProperty → null 0.47
code → HasProperty → ugly 0.47
code → HasProperty → usable 0.47
code → HasProperty → obvious 0.46
code → HasProperty → reusable 0.46
code → HasProperty → vulnerable 0.46
code → HasProperty → private 0.46
code → HasProperty → straightforward 0.46
code → HasProperty → beneficial 0.45
code → HasProperty → fun 0.45
code → HasProperty → well-documented 0.45
code → HasProperty → convoluted 0.45
code → HasProperty → unnecessary 0.45
code → HasProperty → explanatory 0.44
code → HasProperty → welcome 0.44
code → HasProperty → basic 0.44
code → HasProperty → independent 0.44
code → HasProperty → crap 0.44
code → HasProperty → legible 0.44
code → HasProperty → appropriate 0.44
code → HasProperty → unsafe 0.43
code → HasProperty → enforceable 0.43
code → HasProperty → difficult 0.43
code → HasProperty → close 0.43
code → HasProperty → old 0.43
code → HasProperty → silent 0.43
code → HasProperty → bad 0.43
code → HasProperty → universal 0.43
code → HasProperty → buggy 0.43
code → HasProperty → cool 0.42
code → HasProperty → hard 0.42
code → HasProperty → compliant 0.42
code → HasProperty → unclear 0.42
code → HasProperty → honest 0.41
code → HasProperty → comprehensive 0.41
code → HasProperty → larger 0.41
code → HasProperty → successful 0.41
code → HasProperty → light 0.41
code → HasProperty → minimal 0.41
code → HasProperty → flexible 0.41
code → HasProperty → responsible 0.40
code → HasProperty → invalid 0.40
code → HasProperty → obsolete 0.40
code → HasProperty → inefficient 0.40
code → HasProperty → irrelevant 0.40
code → HasProperty → robust 0.40
code → HasProperty → dynamic 0.40
code → HasProperty → verbose 0.40
code → HasProperty → sure 0.39
code → HasProperty → smaller 0.39
code → HasProperty → simpler 0.39
code → HasProperty → meaningless 0.39
code → HasProperty → slow 0.39
code → HasProperty → challenging 0.39
code → HasProperty → solid 0.39
code → HasProperty → legitimate 0.39
code → HasProperty → functional 0.39
code → HasProperty → adaptable 0.38
code → HasProperty → cumbersome 0.38
code → HasProperty → unreadable 0.38
code → HasProperty → easier 0.38
code → HasProperty → broad 0.38
code → HasProperty → key 0.38
code → HasProperty → performant 0.38
code → HasProperty → refined 0.38
code → HasProperty → deep 0.38
code → HasProperty → incomplete 0.38
code → HasProperty → extensive 0.38
code → HasProperty → trustworthy 0.38
code → HasProperty → succinct 0.38
code → HasProperty → detailed 0.38
code → HasProperty → clearer 0.38
code → HasProperty → vague 0.38
code → HasProperty → practical 0.38
code → HasProperty → responsive 0.38
code → HasProperty → compact 0.37
code → HasProperty → immutable 0.37
code → HasProperty → elegant 0.37
code → HasProperty → degenerate 0.37
code → HasProperty → exempt 0.37
code → HasProperty → genuine 0.37
code → HasProperty → huge 0.37
code → HasProperty → dangerous 0.37
code → HasProperty → rough 0.36
code → HasProperty → adequate 0.36
code → HasProperty → comprehensible 0.36
code → HasProperty → meaningful 0.36
code → HasProperty → online 0.36
code → HasProperty → standardized 0.36
code → HasProperty → more important 0.36
code → HasProperty → prescriptive 0.36
code → HasProperty → sophisticated 0.36
code → HasProperty → true 0.36
code → HasProperty → beautiful 0.36
code → HasProperty → sufficient 0.35
code → HasProperty → useless 0.35
code → HasProperty → brief 0.35
code → HasProperty → exclusive 0.35
code → HasProperty → fresh 0.35
code → HasProperty → personal 0.35
code → HasProperty → ambiguous 0.35
code → HasProperty → confusing 0.35
code → HasProperty → changeable 0.35
code → HasProperty → intensive 0.35
code → HasProperty → invisible 0.35
code → HasProperty → statutory 0.35
code → HasProperty → typical 0.35
code → HasProperty → uniform 0.35
code → HasProperty → impossible 0.34
code → HasProperty → brittle 0.34
code → HasProperty → slower 0.34
code → HasProperty → more maintainable 0.34
code → HasProperty → outdated 0.33
code → HasProperty → interesting 0.33
code → HasProperty → powerful 0.33
code → HasProperty → repetitive 0.33
code → HasProperty → more concise 0.33
code → HasProperty → dense 0.32
code → HasProperty → malicious 0.32
code → HasProperty → faulty 0.32
code → HasProperty → fragile 0.32
code → HasProperty → expensive 0.32
code → HasProperty → awesome 0.32
code → HasProperty → lengthy 0.32
code → HasProperty → expressive 0.31
code → HasProperty → missing 0.31
code → HasProperty → optimal 0.31
code → HasProperty → valuable 0.30
code → HasProperty → strong 0.30
code → HasProperty → untested 0.30
code → HasProperty → poor 0.30
code → HasProperty → more flexible 0.30
code → HasProperty → intuitive 0.30
code → HasProperty → smart 0.29
code → HasProperty → harder 0.29
code → HasProperty → neat 0.29
code → HasProperty → void 0.29
code → HasProperty → erroneous 0.29
code → HasProperty → lean 0.29
code → HasProperty → less readable 0.29
code → HasProperty → unreachable 0.29
code → HasProperty → well-structured 0.29
code → HasProperty → clever 0.28
code → HasProperty → safer 0.28
code → HasProperty → perfect 0.28
code → HasProperty → sloppy 0.28
code → HasProperty → insufficient 0.28
code → HasProperty → weird 0.28
code → HasProperty → inadequate 0.27
code → HasProperty → manageable 0.27
code → HasProperty → unstable 0.27
code → HasProperty → incomprehensible 0.27
code → HasProperty → awkward 0.26
code → HasProperty → cheap 0.26
code → HasProperty → instrumental 0.26
code → HasProperty → mature 0.26
code → HasProperty → resilient 0.26
code → HasProperty → harmful 0.26
code → HasProperty → ineffective 0.26
code → HasProperty → unacceptable 0.26
code → HasProperty → unusable 0.26
code → HasProperty → weak 0.26
code → HasProperty → less complex 0.25
code → HasProperty → unused 0.21
code → HasProperty → unbreakable 0.19
code → HasProperty → exhaustive 0.18
code → HasProperty → temporary 0.18
code → HasProperty → trivial 0.18