Assertion list
compiler (primary) → HasA

Results from Ascent++: 9
compilerHasA option 0.48
compilerHasA bug 0.48
compilerHasA binary form 0.42
compilerHasA switch 0.41
compilerHasA enough information 0.33
compilerHasA a proof of total correctness 0.25
compilerHasA all the information 0.25
compilerHasA feature 0.25
compilerHasA more freedom 0.16