AcslParser

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total33,851 of 81,00258%5,667 of 8,78535%3,6784,8695,38813,026106395
mpi_expression()2,15094830%3117419%17519829350701
unaryExpression()1,44598540%3039924%17620919437701
extendedQuantification()1,25453729%1904218%10611918932201
loop_allocation()6330%690%363612212211
conditionalExpression()61825729%2084216%1201277211101
primaryExpression()59045643%864534%52729418901
assignmentExpression()57940240%1245430%80967712801
loop_variant()5530%570%303010210211
logicalOrExpression()49315123%158116%8286589101
completeness_clause()47814%525%28298710601
event()41752255%646751%42687214701
logicalImpliesExpression()40338348%1563518%90994011601
absent_event()38364062%625747%43624917301
logic_function_body()36729644%472332%29375512001
multiplicativeExpression()35730646%422436%26365812201
shiftExpression()34815030%371224%2126599401
event_base()34794773%669458%51844223001
allocation_clause()34519%3749%2122648101
loop_behavior()3420%360%1919656511
logic_function_clause()33436151%523338%35444912001
loop_clause()32721439%431525%2631519801
synpred80_AcslParser_fragment()3230%1270%6565383811
logicalEquivExpression()31333151%1383118%7786259101
logicalXorExpression()31333151%1383118%7786259101
quantifierExpression()30447360%424048%29434414201
id_list()2990%390%2121606011
constant()27844061%465152%34574213601
synpred87_AcslParser_fragment()2760%1130%5858323211
directAbstractDeclarator()26921744%381933%23304710001
synpred85_AcslParser_fragment()24125%113108%6263224001
loop_assigns()2390%180%1010454511
inclusiveOrExpression()23613235%301025%1721356601
built_in_logic_type()23021%29514%1819425601
synpred82_AcslParser_fragment()22421%11097%6061193201
partial_contract_block()21941365%976540%67821910001
synpred89_AcslParser_fragment()21222%10298%5657193201
logicalAndExpression()21143367%1056437%7586209101
variable_ident()20928157%302242%2029339501
castExpression()20819948%323552%2235337001
function_clause()20639165%314156%2338319801
simple_clause()20530559%343852%2540299201
waitsfor_clause()2010%140%88383811
abstractDeclarator()20029659%282446%19303710101
exclusiveOrExpression()19213240%201033%1216326301
andExpression()19213240%201033%1216326301
variable_ident_base()18815945%251028%1519286401
contract()18533464%404251%3145308201
integer_type()1810%140%88313111
real_type()1810%140%88313111
false_key()1810%140%88313111
anyact_key()1810%140%88313111
behavior_body()15935368%697752%5374136701
terminates_clause()15025%137%78273801
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
synpred156_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
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
mpivalid_key()1330%100%66242411
max_key()1330%100%66242411
product_key()1330%100%66242411
numof_key()1330%100%66242411
argumentExpressionList()13227667%364354%2841197301
synpred91_AcslParser_fragment()12814252%743532%5356143201
synpred159_AcslParser_fragment()1270%160%99242411
synpred160_AcslParser_fragment()1270%160%99242411
assignmentExpression_opt()12446%371427%2427163801
loop_contract_block()12325867%222452%1724238401
term()12229070%717250%5973144901
synpred126_AcslParser_fragment()1210%160%99212111
synpred128_AcslParser_fragment()1210%160%99212111
synpred139_AcslParser_fragment()1170%180%1010222211
full_contract_block()11652681%5511166%46841110701
logic_type_expr()26%910%56213001
type_expr()24669%182558%1523186501
constantExpression()0%60%44212111
synpred155_AcslParser_fragment()18%156%89172401
synpred127_AcslParser_fragment()14%156%89172101
synpred10_AcslParser_fragment()0%140%88232311
behavior_clause()25472%173164%1526145601
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
mpiregion_key()30%820%56162401
mpireduce_key()30%820%56162401
absent_event_sendto_key()30%820%56162401
min_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()32980%475252%415185701
postfixExpression()68990%166078%1642514101
synpred157_AcslParser_fragment()23%118%67121801
synpred161_AcslParser_fragment()23%118%67121801
bitwiseImpliesExpression()41985%386563%365397301
rangeExpression()38885%346966%325396701
c_basic_type()60%12840%81182601
synpred158_AcslParser_fragment()0%80%55121211
mpi_collective_block()38586%113173%112257401
synpred94_AcslParser_fragment()0%100%66101011
specifierQualifierList()17575%122264%111894601
pointer()16173%71770%61394601
synpred12_AcslParser_fragment()0%60%44131311
synpred71_AcslParser_fragment()0%60%44131311
remoteExpression()31985%92573%91856301
unary_op()66%71161%51082601
result_key()12971%5964%4873101
true_key()12971%5964%4873101
pure_key()12971%5964%4873101
both_key()12971%5964%4873101
col_key()12971%5964%4873101
p2p_key()12971%5964%4873101
mpicommsize_key()12971%5964%4873101
assigns_key()61%4660%3672401
assert_key()61%6440%5672401
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
access_key()61%4660%3672401
read_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
synpred76_AcslParser_fragment()26%712%45101401
additiveExpression()45090%113877%112659401
relOp()70%51372%41082601
named_behavior()23184%51777%51254901
event_list()20882%52180%51465201
synpred8_AcslParser()0%0%22111111
synpred118_AcslParser()0%0%22111111
synpred128_AcslParser()0%0%22111111
synpred112_AcslParser()0%0%22111111
synpred33_AcslParser()0%0%22111111
synpred158_AcslParser()0%0%22111111
synpred111_AcslParser()0%0%22111111
synpred23_AcslParser()0%0%22111111
synpred117_AcslParser()0%0%22111111
synpred107_AcslParser()0%0%22111111
synpred68_AcslParser()0%0%22111111
synpred25_AcslParser()0%0%22111111
synpred104_AcslParser()0%0%22111111
synpred46_AcslParser()0%0%22111111
synpred96_AcslParser()0%0%22111111
synpred105_AcslParser()0%0%22111111
synpred126_AcslParser()0%0%22111111
synpred17_AcslParser()0%0%22111111
synpred56_AcslParser()0%0%22111111
synpred95_AcslParser()0%0%22111111
synpred140_AcslParser()0%0%22111111
synpred34_AcslParser()0%0%22111111
synpred71_AcslParser()0%0%22111111
synpred67_AcslParser()0%0%22111111
synpred160_AcslParser()0%0%22111111
synpred94_AcslParser()0%0%22111111
synpred146_AcslParser()0%0%22111111
synpred87_AcslParser()0%0%22111111
synpred11_AcslParser()0%0%22111111
synpred21_AcslParser()0%0%22111111
synpred159_AcslParser()0%0%22111111
synpred139_AcslParser()0%0%22111111
synpred12_AcslParser()0%0%22111111
synpred80_AcslParser()0%0%22111111
synpred10_AcslParser()0%0%22111111
bitwiseEquivExpression()30187%82475%81756601
synpred154_AcslParser_fragment()31%712%4571201
synpred119_AcslParser_fragment()29%712%4571101
synpred120_AcslParser_fragment()29%712%4571101
synpred123_AcslParser_fragment()29%712%4571101
synpred17_AcslParser_fragment()0%60%447711
synpred117_AcslParser_fragment()0%60%447711
synpred140_AcslParser_fragment()0%60%447711
directAbstractDeclaratorSuffix()19783%41477%41054201
loop_invariant()19382%41477%41054401
assert_contract()18982%9950%91054201
forall_key()14177%1178%3863101
nothing_key()14177%1178%3863101
mpicommrank_key()14177%1178%3863101
bitequiv_op()13477%1178%3853301
assumes_key()70%880%2662401
requires_key()70%880%2662401
valid_key()70%880%2662401
call_key()70%880%2662401
dependson_key()70%880%2662401
mpiemptyout_key()70%880%2662401
absent_event_enter_key()70%880%2662401
synpred34_AcslParser_fragment()0%40%339911
synpred56_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
bitimplies_op()74%880%2652701
pure_function()74%880%2652701
synpred68_AcslParser_fragment()0%40%338811
synpred95_AcslParser_fragment()0%40%337711
synpred96_AcslParser_fragment()0%40%337711
synpred104_AcslParser_fragment()0%40%337711
synpred105_AcslParser_fragment()0%40%337711
synpred111_AcslParser_fragment()0%40%337711
synpred112_AcslParser_fragment()0%40%337711
function_contract()21286%42284%41454901
requires_clause()16984%1285%2853801
depends_clause()16984%1285%2853801
assumes_clause()16984%1285%2853801
loop_contract()12579%880%2653001
named_behavior_block()12579%880%2653001
synpred8_AcslParser_fragment()0%40%336611
synpred107_AcslParser_fragment()0%40%336611
synpred118_AcslParser_fragment()0%40%336611
logic_function_contract()17386%1794%11054401
synpred11_AcslParser_fragment()0%0%227711
synpred21_AcslParser_fragment()0%0%227711
synpred23_AcslParser_fragment()0%0%227711
synpred59_AcslParser_fragment()59%433%3451001
synpred60_AcslParser_fragment()59%433%3451001
synpred103_AcslParser_fragment()80%41881%31232301
synpred25_AcslParser_fragment()0%0%225511
synpred33_AcslParser_fragment()0%0%225511
synpred46_AcslParser_fragment()0%0%225511
synpred67_AcslParser_fragment()0%0%225511
synpred146_AcslParser_fragment()0%0%225511
synpred48_AcslParser_fragment()67%433%342701
synpred113_AcslParser_fragment()67%433%342701
synpred27_AcslParser_fragment()58%25%232601
synpred125_AcslParser_fragment()93%8850%8902101
synpred59_AcslParser()84%50%1221101
synpred52_AcslParser()84%50%1221101
synpred151_AcslParser()84%50%1221101
synpred161_AcslParser()84%50%1221101
synpred127_AcslParser()84%50%1221101
synpred45_AcslParser()84%50%1221101
synpred157_AcslParser()84%50%1221101
synpred48_AcslParser()84%50%1221101
synpred155_AcslParser()84%50%1221101
synpred76_AcslParser()84%50%1221101
synpred27_AcslParser()84%50%1221101
synpred154_AcslParser()84%50%1221101
synpred120_AcslParser()84%50%1221101
synpred113_AcslParser()84%50%1221101
synpred156_AcslParser()84%50%1221101
synpred123_AcslParser()84%50%1221101
synpred77_AcslParser()84%50%1221101
synpred119_AcslParser()84%50%1221101
synpred60_AcslParser()84%50%1221101
synpred162_AcslParser_fragment()93%6650%6701801
synpred108_AcslParser()86%50%1221101
synpred13_AcslParser()86%50%1221101
synpred89_AcslParser()86%50%1221101
synpred92_AcslParser()86%50%1221101
synpred102_AcslParser()86%50%1221101
synpred82_AcslParser()86%50%1221101
synpred53_AcslParser()86%50%1221101
synpred152_AcslParser()86%50%1221101
synpred63_AcslParser()86%50%1221101
synpred22_AcslParser()86%50%1221101
synpred32_AcslParser()86%50%1221101
synpred62_AcslParser()86%50%1221101
synpred38_AcslParser()86%50%1221101
synpred167_AcslParser()86%50%1221101
synpred134_AcslParser()86%50%1221101
synpred18_AcslParser()86%50%1221101
synpred55_AcslParser()86%50%1221101
synpred93_AcslParser()86%50%1221101
synpred162_AcslParser()86%50%1221101
synpred1_AcslParser()86%50%1221101
synpred124_AcslParser()86%50%1221101
synpred114_AcslParser()86%50%1221101
synpred147_AcslParser()86%50%1221101
synpred66_AcslParser()86%50%1221101
synpred135_AcslParser()86%50%1221101
synpred125_AcslParser()86%50%1221101
synpred16_AcslParser()86%50%1221101
synpred4_AcslParser()86%50%1221101
synpred85_AcslParser()86%50%1221101
synpred106_AcslParser()86%50%1221101
synpred145_AcslParser()86%50%1221101
synpred51_AcslParser()86%50%1221101
synpred61_AcslParser()86%50%1221101
synpred166_AcslParser()86%50%1221101
synpred110_AcslParser()86%50%1221101
synpred109_AcslParser()86%50%1221101
synpred7_AcslParser()86%50%1221101
synpred91_AcslParser()86%50%1221101
synpred50_AcslParser()86%50%1221101
synpred65_AcslParser_fragment()94%7956%7901801
synpred16_AcslParser_fragment()93%5550%5601201
synpred2_AcslParser()88%100%0221101
synpred69_AcslParser()88%100%0221101
synpred122_AcslParser()88%100%0221101
synpred148_AcslParser()88%100%0221101
synpred121_AcslParser()88%100%0221101
synpred58_AcslParser()88%100%0221101
synpred165_AcslParser()88%100%0221101
synpred3_AcslParser()88%100%0221101
synpred26_AcslParser()88%100%0221101
synpred65_AcslParser()88%100%0221101
synpred75_AcslParser()88%100%0221101
synpred163_AcslParser()88%100%0221101
synpred103_AcslParser()88%100%0221101
synpred54_AcslParser()88%100%0221101
synpred153_AcslParser()88%100%0221101
synpred70_AcslParser()88%100%0221101
synpred61_AcslParser_fragment()93%4450%4501101
synpred62_AcslParser_fragment()93%4450%4501101
synpred63_AcslParser_fragment()93%4450%4501101
synpred152_AcslParser_fragment()93%4450%4501101
setTreeAdaptor(TreeAdaptor)0%n/a112211
synpred75_AcslParser_fragment()95%562%3501401
synpred121_AcslParser_fragment()95%562%3501101
synpred153_AcslParser_fragment()95%562%3501101
getDelegates()0%n/a111111
getTreeAdaptor()0%n/a111111
synpred58_AcslParser_fragment()95%466%2401001
synpred93_AcslParser_fragment()95%50%2301101
synpred102_AcslParser_fragment()95%50%2301101
synpred92_AcslParser_fragment()94%50%2301001
synpred106_AcslParser_fragment()93%50%230701
synpred108_AcslParser_fragment()93%50%230701
synpred109_AcslParser_fragment()93%50%230701
synpred110_AcslParser_fragment()93%50%230701
synpred7_AcslParser_fragment()93%50%230601
synpred77_AcslParser_fragment()93%50%231601
synpred134_AcslParser_fragment()93%50%230601
getTokenNames()0%n/a111111
getGrammarFileName()0%n/a111111
synpred163_AcslParser_fragment()97%75%1301001
synpred26_AcslParser_fragment()96%75%130601
synpred4_AcslParser_fragment()95%50%120701
synpred18_AcslParser_fragment()95%50%120701
synpred22_AcslParser_fragment()95%50%120701
synpred1_AcslParser_fragment()94%50%120501
synpred13_AcslParser_fragment()94%50%120501
synpred32_AcslParser_fragment()94%50%120501
synpred45_AcslParser_fragment()94%50%121501
synpred50_AcslParser_fragment()94%50%120501
synpred51_AcslParser_fragment()94%50%120501
synpred52_AcslParser_fragment()94%50%121501
synpred53_AcslParser_fragment()94%50%120501
synpred55_AcslParser_fragment()94%50%120501
synpred66_AcslParser_fragment()94%50%120501
synpred114_AcslParser_fragment()94%50%120501
synpred124_AcslParser_fragment()94%50%120501
synpred135_AcslParser_fragment()94%50%120501
synpred145_AcslParser_fragment()94%50%120501
synpred147_AcslParser_fragment()94%50%120501
synpred151_AcslParser_fragment()94%50%121501
synpred166_AcslParser_fragment()94%50%120501
synpred167_AcslParser_fragment()94%50%120501
synpred38_AcslParser_fragment()92%50%120201
static {...}13,812100%4100%03091801
AcslParser(TokenStream, RecognizerSharedState)100%n/a010501
synpred2_AcslParser_fragment()100%100%020501
synpred3_AcslParser_fragment()100%100%020501
synpred54_AcslParser_fragment()100%100%020501
synpred69_AcslParser_fragment()100%100%020501
synpred70_AcslParser_fragment()100%100%020501
synpred122_AcslParser_fragment()100%100%020501
synpred148_AcslParser_fragment()100%100%020501
synpred165_AcslParser_fragment()100%100%020501
AcslParser(TokenStream)100%n/a010201