Coverage report: 58%

Files Functions Classes

coverage.py v7.5.4, created at 2024-08-11 18:03 +0200

File function statements missing excluded coverage
src/SymbSyntDec/SymbSyntDec.py parse_pltl_PLTLAnd 5 5 0 0%
src/SymbSyntDec/SymbSyntDec.py initial_state 12 12 0 0%
src/SymbSyntDec/SymbSyntDec.py transition_relation 11 11 0 0%
src/SymbSyntDec/SymbSyntDec.py primed_var_calculation 7 7 0 0%
src/SymbSyntDec/SymbSyntDec.py str_to_pltl 4 4 0 0%
src/SymbSyntDec/SymbSyntDec.py SymbSyntDec 42 42 0 0%
src/SymbSyntDec/SymbSyntDec.py (no function) 17 0 0 100%
src/SymbSyntDec/__init__.py (no function) 8 0 0 100%
src/SymbSyntDec/closure.py closure_unaryop 1 1 0 0%
src/SymbSyntDec/closure.py closure 2 2 0 0%
src/SymbSyntDec/closure.py closure_call 3 3 0 0%
src/SymbSyntDec/closure.py closure_operands 1 1 0 0%
src/SymbSyntDec/closure.py closure_prop_true 1 1 0 0%
src/SymbSyntDec/closure.py closure_prop_false 1 1 0 0%
src/SymbSyntDec/closure.py closure_atomic 3 3 0 0%
src/SymbSyntDec/closure.py closure_and 2 2 0 0%
src/SymbSyntDec/closure.py closure_or 2 2 0 0%
src/SymbSyntDec/closure.py closure_not 2 2 0 0%
src/SymbSyntDec/closure.py closure_yesterday 3 3 0 0%
src/SymbSyntDec/closure.py closure_weak_yesterday 3 3 0 0%
src/SymbSyntDec/closure.py closure_since 3 3 0 0%
src/SymbSyntDec/closure.py closure_since 3 3 0 0%
src/SymbSyntDec/closure.py (no function) 32 0 0 100%
src/SymbSyntDec/ground.py ground 2 2 0 0%
src/SymbSyntDec/ground.py ground_operands_unaryop 1 1 0 0%
src/SymbSyntDec/ground.py ground_operands 1 1 0 0%
src/SymbSyntDec/ground.py ground_operands_prop_true 1 1 0 0%
src/SymbSyntDec/ground.py ground_operands_prop_false 1 1 0 0%
src/SymbSyntDec/ground.py ground_operands_atomic 1 1 0 0%
src/SymbSyntDec/ground.py ground_operands_and 2 2 0 0%
src/SymbSyntDec/ground.py ground_operands_or 2 2 0 0%
src/SymbSyntDec/ground.py ground_operands_not 1 1 0 0%
src/SymbSyntDec/ground.py ground_operands_yesterday 2 2 0 0%
src/SymbSyntDec/ground.py ground_operands_weak_yesterday 2 2 0 0%
src/SymbSyntDec/ground.py (no function) 24 0 0 100%
src/SymbSyntDec/modify.py modify_unaryop 1 0 0 100%
src/SymbSyntDec/modify.py modify 2 0 0 100%
src/SymbSyntDec/modify.py modify_prop_true 1 0 0 100%
src/SymbSyntDec/modify.py modify_prop_false 1 0 0 100%
src/SymbSyntDec/modify.py modify_false 1 1 0 0%
src/SymbSyntDec/modify.py modify_atomic 1 0 0 100%
src/SymbSyntDec/modify.py modify_and 2 0 0 100%
src/SymbSyntDec/modify.py modify_or 2 0 0 100%
src/SymbSyntDec/modify.py modify_not 1 0 0 100%
src/SymbSyntDec/modify.py modify_implies 3 0 0 100%
src/SymbSyntDec/modify.py modify_yesterday 1 0 0 100%
src/SymbSyntDec/modify.py modify_weak_yesterday 1 0 0 100%
src/SymbSyntDec/modify.py modify_since 6 3 0 50%
src/SymbSyntDec/modify.py modify_triggers 6 3 0 50%
src/SymbSyntDec/modify.py modify_once 2 0 0 100%
src/SymbSyntDec/modify.py modify_historically 2 0 0 100%
src/SymbSyntDec/modify.py (no function) 36 0 0 100%
src/SymbSyntDec/past.py past_declare_pattern 6 6 0 0%
src/SymbSyntDec/past.py past_declare_pattern_call 7 7 0 0%
src/SymbSyntDec/past.py (no function) 5 0 0 100%
src/SymbSyntDec/pastSimple.py past_simple_env 16 16 0 0%
src/SymbSyntDec/pastSimple.py past_simple_con 15 15 0 0%
src/SymbSyntDec/pastSimple.py (no function) 7 0 0 100%
src/SymbSyntDec/snf.py snf_unaryop 1 1 0 0%
src/SymbSyntDec/snf.py snf 2 2 0 0%
src/SymbSyntDec/snf.py snf_operands 1 1 0 0%
src/SymbSyntDec/snf.py snf_prop_true 1 1 0 0%
src/SymbSyntDec/snf.py snf_prop_false 1 1 0 0%
src/SymbSyntDec/snf.py snf_false 1 1 0 0%
src/SymbSyntDec/snf.py snf_atomic 3 3 0 0%
src/SymbSyntDec/snf.py snf_and 2 2 0 0%
src/SymbSyntDec/snf.py snf_or 2 2 0 0%
src/SymbSyntDec/snf.py snf_not 2 2 0 0%
src/SymbSyntDec/snf.py snf_implies 3 3 0 0%
src/SymbSyntDec/snf.py snf_yesterday 1 1 0 0%
src/SymbSyntDec/snf.py snf_weak_yesterday 1 1 0 0%
src/SymbSyntDec/snf.py snf_since 4 4 0 0%
src/SymbSyntDec/snf.py snf_since 4 4 0 0%
src/SymbSyntDec/snf.py (no function) 35 0 0 100%
src/SymbSyntDec/state_variables.py state_variables_unaryop 1 1 0 0%
src/SymbSyntDec/state_variables.py state_variables 3 3 0 0%
src/SymbSyntDec/state_variables.py state_variables_operands 1 1 0 0%
src/SymbSyntDec/state_variables.py state_variables_prop_true 1 1 0 0%
src/SymbSyntDec/state_variables.py state_variables_prop_false 1 1 0 0%
src/SymbSyntDec/state_variables.py state_variables_atomic 1 1 0 0%
src/SymbSyntDec/state_variables.py state_variables_and 1 1 0 0%
src/SymbSyntDec/state_variables.py state_variables_or 1 1 0 0%
src/SymbSyntDec/state_variables.py state_variables_not 1 1 0 0%
src/SymbSyntDec/state_variables.py state_variables_yesterday 1 1 0 0%
src/SymbSyntDec/state_variables.py state_variables_weak_yesterday 1 1 0 0%
src/SymbSyntDec/state_variables.py add_variable 8 8 0 0%
src/SymbSyntDec/state_variables.py state_variables_since 1 1 0 0%
src/SymbSyntDec/state_variables.py state_variables_since 1 1 0 0%
src/SymbSyntDec/state_variables.py (no function) 31 0 0 100%
src/__init__.py (no function) 0 0 0 100%
tests/__init__.py (no function) 1 0 0 100%
tests/test_modify.py TestModify.test_modify_not_implemented 6 0 0 100%
tests/test_modify.py TestModify.test_modify_true 1 0 0 100%
tests/test_modify.py TestModify.test_modify_false 1 0 0 100%
tests/test_modify.py TestModify.test_modify_atomic 1 0 0 100%
tests/test_modify.py TestModify.test_modify_and 7 0 0 100%
tests/test_modify.py TestModify.test_modify_or 7 0 0 100%
tests/test_modify.py TestModify.test_modify_not 5 0 0 100%
tests/test_modify.py TestModify.test_modify_implies 8 0 0 100%
tests/test_modify.py TestModify.test_modify_yesterday 6 0 0 100%
tests/test_modify.py TestModify.test_modify_weak_yesterday 6 0 0 100%
tests/test_modify.py TestModify.test_modify_since 7 0 0 100%
tests/test_modify.py TestModify.test_modify_triggers 7 0 0 100%
tests/test_modify.py TestModify.test_modify_once 7 0 0 100%
tests/test_modify.py TestModify.test_modify_historically 7 0 0 100%
tests/test_modify.py (no function) 50 10 0 80%
Total   578 240 0 58%

No items found using the specified filter.