AcslParser

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total37,435 of 85,11556%5,554 of 8,61735%3,6214,8166,22313,921125416
mpi_expression()2,15594330%3117419%17519829350701
unaryExpression()1,43798540%2419929%14617921940201
extendedQuantification()1,25453729%1904218%10611918932201
loop_allocation()6330%690%363612212211
conditionalExpression()61026029%1474322%91989713601
primaryExpression()59045643%864534%52729418901
loop_focus_window()5880%620%333310810811
assignmentExpression()57940240%1245430%80967712801
ordered_contract()5650%540%2828969611
loop_variant()5530%570%303010210211
logicalOrExpression()48515123%961110%52568311601
completeness_clause()47814%525%28298710601
allocation_clause()4290%410%2222818111
event()41752255%646751%42687214701
logicalImpliesExpression()39538349%943527%60696514101
absent_event()38364062%625747%43624917301
logic_function_body()36729644%472332%29375512001
multiplicativeExpression()35730646%422436%26365812201
shiftExpression()34815030%371224%2126599401
event_base()34794773%669458%51844223001
loop_behavior()3420%360%1919656511
logic_function_clause()33436151%523338%35444912001
loop_clause()32721439%431525%2631519801
synpred88_AcslParser_fragment()3230%1270%6565383811
loop_focus()3070%260%1414555511
logicalEquivExpression()30533152%763128%47565011601
logicalXorExpression()30533152%763128%47565011601
quantifierExpression()30447360%424048%29434414201
id_list()2990%390%2121606011
logicalAndExpression()28734954%703734%45564611601
constant()27844061%465152%34574213601
synpred95_AcslParser_fragment()2760%1130%5858323211
directAbstractDeclarator()26921744%381933%23304710001
contract()24935058%564444%4155419501
focus_assert_spec()2480%260%1414515111
synpred93_AcslParser_fragment()24125%113108%6263224001
loop_assigns()2390%180%1010454511
term()23716741%532834%3343397401
inclusiveOrExpression()23613235%301025%1721356601
built_in_logic_type()23021%29514%1819425601
synpred90_AcslParser_fragment()22421%11097%6061193201
partial_contract_block()21941365%976540%67821910001
loop_focus_head()2190%220%1212434311
synpred97_AcslParser_fragment()21222%10298%5657193201
variable_ident()20928157%302242%2029339501
castExpression()20819948%323552%2235337001
function_clause()20639165%314156%2338319801
transform_contract_block()2010%180%1010444411
waitsfor_clause()2010%140%88383811
abstractDeclarator()20029659%282446%19303710101
simple_clause()19231862%333954%2540299201
exclusiveOrExpression()19213240%201033%1216326301
andExpression()19213240%201033%1216326301
transform()1910%140%88353511
variable_ident_base()18815945%251028%1519286401
integer_type()1810%140%88313111
real_type()1810%140%88313111
false_key()1810%140%88313111
anyact_key()1810%140%88313111
loop_contract_block()17929462%342845%25323210201
behavior_body()15935368%707652%5474136701
transform_contract()1570%100%66303011
terminates_clause()15025%137%78273801
behavior_clause()13921160%232552%1826215601
completeness_clause_block()13827%137%78233501
boolean_type()13823%1214%78233101
exists_key()13823%1214%78233101
null_key()13823%1214%78233101
binder()13620059%321633%1925226701
synpred164_AcslParser_fragment()13316%195%1011223001
alloc_key()1330%100%66242411
behaviors_key()1330%100%66242411
completes_key()1330%100%66242411
decreases_key()1330%100%66242411
disjoint_key()1330%100%66242411
frees_key()1330%100%66242411
focus_key()1330%100%66242411
ordered_key()1330%100%66242411
variant_key()1330%100%66242411
waitsfor_key()1330%100%66242411
predicate_key()1330%100%66242411
empty_key()1330%100%66242411
let_key()1330%100%66242411
old_key()1330%100%66242411
with_key()1330%100%66242411
region_of_key()1330%100%66242411
mpiextent_key()1330%100%66242411
mpioffset_key()1330%100%66242411
max_key()1330%100%66242411
min_key()1330%100%66242411
numof_key()1330%100%66242411
argumentExpressionList()13227667%364354%2841197301
synpred99_AcslParser_fragment()12814252%743532%5356143201
synpred167_AcslParser_fragment()1270%160%99242411
assignmentExpression_opt()12446%371427%2427163801
synpred134_AcslParser_fragment()1210%160%99212111
synpred135_AcslParser_fragment()1210%160%99212111
synpred147_AcslParser_fragment()0%180%1010222211
full_contract_block()52681%5511166%46841110701
logic_type_expr()26%910%56213001
type_expr()24669%182558%1523186501
transform_spec()0%60%44212111
constantExpression()0%60%44212111
synpred163_AcslParser_fragment()18%156%89172401
synpred168_AcslParser_fragment()18%156%89172401
synpred136_AcslParser_fragment()14%156%89172101
synpred13_AcslParser_fragment()0%140%88232311
mpi_collective_kind()19867%122264%1019145601
relationalExpression()37680%194871%1736129801
terminates_key()30%820%56162401
inter_key()30%820%56162401
union_key()30%820%56162401
object_of_key()30%820%56162401
mpiagree_key()30%820%56162401
mpiequals_key()30%820%56162401
mpivalid_key()30%820%56162401
mpiregion_key()30%820%56162401
mpireduce_key()30%820%56162401
absent_event_sendto_key()30%820%56162401
product_key()30%820%56162401
binders()16063%131350%914155201
mpi_constant()15061%101560%814144701
contract_block()14061%111456%814134701
rangeSuffix()50%11738%710143701
absent_event_optional_argument()33280%485352%425285701
postfixExpression()68990%166078%1642514101
synpred165_AcslParser_fragment()23%118%67121801
synpred169_AcslParser_fragment()23%118%67121801
bitwiseImpliesExpression()42285%396662%375497301
rangeExpression()39185%357066%335496701
c_basic_type()60%12840%81182601
synpred166_AcslParser_fragment()0%80%55121211
mpi_collective_block()38586%113173%112257401
synpred102_AcslParser_fragment()0%100%66101011
specifierQualifierList()17575%122264%111894601
pointer()16173%71770%61394601
synpred15_AcslParser_fragment()0%60%44131311
synpred17_AcslParser_fragment()0%80%558811
synpred79_AcslParser_fragment()0%60%44131311
remoteExpression()31985%92573%91856301
unary_op()66%71161%51082601
result_key()12971%5964%4873101
pure_key()12971%5964%4873101
both_key()12971%5964%4873101
p2p_key()12971%5964%4873101
mpicommsize_key()12971%5964%4873101
assigns_key()61%4660%3672401
assumes_key()61%4660%3672401
assert_key()61%4660%3672401
behavior_key()61%4660%3672401
ensures_key()61%4660%3672401
invariant_key()61%4660%3672401
loop_key()61%4660%3672401
logic_specifier_key()61%4660%3672401
executeswhen_key()61%4660%3672401
reads_key()61%4660%3672401
remote_key()61%4660%3672401
call_key()61%4660%3672401
write_key()61%4660%3672401
mpicollective_key()61%4660%3672401
mpiemptyin_key()61%4660%3672401
absent_key()61%4660%3672401
after_key()61%4660%3672401
until_key()61%4660%3672401
absent_event_sendfrom_key()61%4660%3672401
absent_event_exit_key()61%4660%3672401
lambda_key()61%4660%3672401
sum_key()61%4660%3672401
synpred84_AcslParser_fragment()26%712%45101401
additiveExpression()45090%113877%112659401
relOp()70%51372%41082601
synpred5_AcslParser()0%0%22111111
synpred8_AcslParser()0%0%22111111
synpred29_AcslParser()0%0%22111111
synpred13_AcslParser()0%0%22111111
synpred102_AcslParser()0%0%22111111
synpred112_AcslParser()0%0%22111111
synpred33_AcslParser()0%0%22111111
synpred79_AcslParser()0%0%22111111
synpred148_AcslParser()0%0%22111111
synpred42_AcslParser()0%0%22111111
synpred167_AcslParser()0%0%22111111
synpred134_AcslParser()0%0%22111111
synpred88_AcslParser()0%0%22111111
synpred18_AcslParser()0%0%22111111
synpred25_AcslParser()0%0%22111111
synpred147_AcslParser()0%0%22111111
synpred15_AcslParser()0%0%22111111
synpred104_AcslParser()0%0%22111111
synpred135_AcslParser()0%0%22111111
synpred76_AcslParser()0%0%22111111
synpred125_AcslParser()0%0%22111111
synpred115_AcslParser()0%0%22111111
synpred154_AcslParser()0%0%22111111
synpred126_AcslParser()0%0%22111111
synpred75_AcslParser()0%0%22111111
synpred17_AcslParser()0%0%22111111
synpred95_AcslParser()0%0%22111111
synpred31_AcslParser()0%0%22111111
synpred64_AcslParser()0%0%22111111
synpred120_AcslParser()0%0%22111111
synpred41_AcslParser()0%0%22111111
synpred14_AcslParser()0%0%22111111
synpred113_AcslParser()0%0%22111111
synpred103_AcslParser()0%0%22111111
synpred166_AcslParser()0%0%22111111
synpred11_AcslParser()0%0%22111111
synpred54_AcslParser()0%0%22111111
synpred119_AcslParser()0%0%22111111
synpred60_AcslParser()0%0%22111111
named_behavior()23184%51777%51254901
event_list()20882%52180%51465201
bitwiseEquivExpression()30187%82475%81756601
synpred162_AcslParser_fragment()31%712%4571201
synpred127_AcslParser_fragment()29%712%4571101
synpred128_AcslParser_fragment()29%712%4571101
synpred131_AcslParser_fragment()29%712%4571101
synpred25_AcslParser_fragment()0%60%447711
synpred125_AcslParser_fragment()0%60%447711
synpred148_AcslParser_fragment()0%60%447711
directAbstractDeclaratorSuffix()19783%41477%41054201
loop_invariant()19382%41477%41054401
assert_contract()18982%41477%41054201
forall_key()14177%1178%3863101
nothing_key()14177%1178%3863101
true_key()14177%1178%3863101
col_key()14177%1178%3863101
mpicommrank_key()14177%1178%3863101
bitequiv_op()13477%1178%3853301
requires_key()70%880%2662401
valid_key()70%880%2662401
access_key()70%880%2662401
dependson_key()70%880%2662401
read_key()70%880%2662401
mpiemptyout_key()70%880%2662401
absent_event_enter_key()70%880%2662401
synpred42_AcslParser_fragment()0%40%339911
synpred64_AcslParser_fragment()0%40%339911
guards_clause()16582%1178%3853801
assigns_clause()16582%1178%3853801
ensures_clause()16582%1178%3853801
reads_clause()16582%1178%3853801
assumes_clause()16582%1178%3853801
bitimplies_op()74%880%2652701
pure_function()74%880%2652701
synpred76_AcslParser_fragment()0%40%338811
synpred103_AcslParser_fragment()0%40%337711
synpred104_AcslParser_fragment()0%40%337711
synpred112_AcslParser_fragment()0%40%337711
synpred113_AcslParser_fragment()0%40%337711
synpred119_AcslParser_fragment()0%40%337711
synpred120_AcslParser_fragment()0%40%337711
function_contract()21286%42284%41454901
requires_clause()16984%1285%2853801
depends_clause()16984%1285%2853801
loop_contract()12579%880%2653001
named_behavior_block()12579%880%2653001
synpred11_AcslParser_fragment()0%40%336611
synpred18_AcslParser_fragment()0%40%336611
synpred115_AcslParser_fragment()0%40%336611
synpred126_AcslParser_fragment()0%40%336611
logic_function_contract()17386%1794%11054401
synpred14_AcslParser_fragment()0%0%227711
synpred29_AcslParser_fragment()0%0%227711
synpred31_AcslParser_fragment()0%0%227711
synpred8_AcslParser_fragment()0%0%226611
synpred67_AcslParser_fragment()59%433%3451001
synpred68_AcslParser_fragment()59%433%3451001
synpred111_AcslParser_fragment()80%41881%31232301
synpred5_AcslParser_fragment()0%0%225511
synpred33_AcslParser_fragment()0%0%225511
synpred41_AcslParser_fragment()0%0%225511
synpred54_AcslParser_fragment()0%0%225511
synpred60_AcslParser_fragment()0%0%225511
synpred75_AcslParser_fragment()0%0%225511
synpred154_AcslParser_fragment()0%0%225511
synpred56_AcslParser_fragment()67%433%342701
synpred121_AcslParser_fragment()67%433%342701
synpred35_AcslParser_fragment()58%25%232601
synpred133_AcslParser_fragment()93%8850%8902101
synpred128_AcslParser()82%50%1221101
synpred168_AcslParser()82%50%1221101
synpred53_AcslParser()82%50%1221101
synpred121_AcslParser()82%50%1221101
synpred131_AcslParser()82%50%1221101
synpred127_AcslParser()82%50%1221101
synpred162_AcslParser()82%50%1221101
synpred78_AcslParser()82%50%1221101
synpred35_AcslParser()82%50%1221101
synpred68_AcslParser()82%50%1221101
synpred165_AcslParser()82%50%1221101
synpred136_AcslParser()82%50%1221101
synpred164_AcslParser()82%50%1221101
synpred85_AcslParser()82%50%1221101
synpred56_AcslParser()82%50%1221101
synpred84_AcslParser()82%50%1221101
synpred163_AcslParser()82%50%1221101
synpred67_AcslParser()82%50%1221101
synpred169_AcslParser()82%50%1221101
synpred159_AcslParser()82%50%1221101
synpred118_AcslParser()84%50%1221101
synpred99_AcslParser()84%50%1221101
synpred122_AcslParser()84%50%1221101
synpred132_AcslParser()84%50%1221101
synpred59_AcslParser()84%50%1221101
synpred142_AcslParser()84%50%1221101
synpred63_AcslParser()84%50%1221101
synpred117_AcslParser()84%50%1221101
synpred6_AcslParser()84%50%1221101
synpred93_AcslParser()84%50%1221101
synpred1_AcslParser()84%50%1221101
synpred73_AcslParser()84%50%1221101
synpred58_AcslParser()84%50%1221101
synpred114_AcslParser()84%50%1221101
synpred46_AcslParser()84%50%1221101
synpred155_AcslParser()84%50%1221101
synpred26_AcslParser()84%50%1221101
synpred175_AcslParser()84%50%1221101
synpred116_AcslParser()84%50%1221101
synpred4_AcslParser()84%50%1221101
synpred74_AcslParser()84%50%1221101
synpred24_AcslParser()84%50%1221101
synpred160_AcslParser()84%50%1221101
synpred61_AcslParser()84%50%1221101
synpred77_AcslParser()84%50%1221101
synpred133_AcslParser()84%50%1221101
synpred100_AcslParser()84%50%1221101
synpred97_AcslParser()84%50%1221101
synpred110_AcslParser()84%50%1221101
synpred21_AcslParser()84%50%1221101
synpred143_AcslParser()84%50%1221101
synpred170_AcslParser()84%50%1221101
synpred90_AcslParser()84%50%1221101
synpred101_AcslParser()84%50%1221101
synpred30_AcslParser()84%50%1221101
synpred40_AcslParser()84%50%1221101
synpred70_AcslParser()84%50%1221101
synpred10_AcslParser()84%50%1221101
synpred73_AcslParser_fragment()93%8850%8901801
synpred170_AcslParser_fragment()93%6650%6701801
synpred2_AcslParser()86%100%0221101
synpred69_AcslParser()86%100%0221101
synpred171_AcslParser()86%100%0221101
synpred111_AcslParser()86%100%0221101
synpred62_AcslParser()86%100%0221101
synpred161_AcslParser()86%100%0221101
synpred83_AcslParser()86%100%0221101
synpred66_AcslParser()86%100%0221101
synpred3_AcslParser()86%100%0221101
synpred174_AcslParser()86%100%0221101
synpred130_AcslParser()86%100%0221101
synpred173_AcslParser()86%100%0221101
synpred34_AcslParser()86%100%0221101
synpred71_AcslParser()86%100%0221101
synpred156_AcslParser()86%100%0221101
synpred153_AcslParser()86%100%0221101
synpred129_AcslParser()86%100%0221101
synpred24_AcslParser_fragment()93%5550%5601201
synpred70_AcslParser_fragment()93%4450%4501101
synpred160_AcslParser_fragment()93%4450%4501101
setTreeAdaptor(TreeAdaptor)0%n/a112211
synpred83_AcslParser_fragment()95%562%3501401
synpred69_AcslParser_fragment()95%562%3501101
synpred71_AcslParser_fragment()95%562%3501101
synpred129_AcslParser_fragment()95%562%3501101
synpred161_AcslParser_fragment()95%562%3501101
getDelegates()0%n/a111111
getTreeAdaptor()0%n/a111111
synpred66_AcslParser_fragment()95%466%2401001
synpred101_AcslParser_fragment()95%50%2301101
synpred110_AcslParser_fragment()95%50%2301101
synpred100_AcslParser_fragment()94%50%2301001
synpred114_AcslParser_fragment()93%50%230701
synpred116_AcslParser_fragment()93%50%230701
synpred117_AcslParser_fragment()93%50%230701
synpred118_AcslParser_fragment()93%50%230701
synpred10_AcslParser_fragment()93%50%230601
synpred85_AcslParser_fragment()93%50%231601
synpred142_AcslParser_fragment()93%50%230601
getTokenNames()0%n/a111111
getGrammarFileName()0%n/a111111
synpred171_AcslParser_fragment()97%75%1301001
synpred34_AcslParser_fragment()96%75%130601
synpred6_AcslParser_fragment()95%50%120701
synpred26_AcslParser_fragment()95%50%120701
synpred30_AcslParser_fragment()95%50%120701
synpred1_AcslParser_fragment()94%50%120501
synpred4_AcslParser_fragment()94%50%120501
synpred21_AcslParser_fragment()94%50%120501
synpred40_AcslParser_fragment()94%50%120501
synpred53_AcslParser_fragment()94%50%121501
synpred58_AcslParser_fragment()94%50%120501
synpred59_AcslParser_fragment()94%50%120501
synpred61_AcslParser_fragment()94%50%120501
synpred63_AcslParser_fragment()94%50%120501
synpred74_AcslParser_fragment()94%50%120501
synpred77_AcslParser_fragment()94%50%120501
synpred78_AcslParser_fragment()94%50%121501
synpred122_AcslParser_fragment()94%50%120501
synpred132_AcslParser_fragment()94%50%120501
synpred143_AcslParser_fragment()94%50%120501
synpred155_AcslParser_fragment()94%50%120501
synpred159_AcslParser_fragment()94%50%121501
synpred175_AcslParser_fragment()94%50%120501
synpred46_AcslParser_fragment()92%50%120201
static {...}14,480100%4100%03096601
AcslParser(TokenStream, RecognizerSharedState)100%n/a010501
synpred2_AcslParser_fragment()100%100%020501
synpred3_AcslParser_fragment()100%100%020501
synpred62_AcslParser_fragment()100%100%020501
synpred130_AcslParser_fragment()100%100%020501
synpred153_AcslParser_fragment()100%100%020501
synpred156_AcslParser_fragment()100%100%020501
synpred173_AcslParser_fragment()100%100%020501
synpred174_AcslParser_fragment()100%100%020501
AcslParser(TokenStream)100%n/a010201