Coverage report:
58%
hide covered
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.