Showing 2 of 4 files from the diff.

@@ -1,4 +1,4 @@
Loading
1 -
__version__ = '1.9.3'
1 +
__version__ = '1.9.4'
2 2
3 3
try:
4 4
    from .conditionalelement import AND, OR, NOT, TEST, EXISTS, FORALL

@@ -15,12 +15,17 @@
Loading
15 15
    def _update_agenda(self, agenda, added, removed):
16 16
        for act in removed:
17 17
            act.key = self.get_key(act)
18 -
            try:
19 -
                idx = bisect.bisect_left(agenda.activations, act)
20 -
                if agenda.activations[idx] == act:
21 -
                    del agenda.activations[idx]
22 -
            except IndexError:
23 -
                pass
18 +
            idx = bisect.bisect_left(agenda.activations, act)
19 +
            for o in (0, 1, -1):
20 +
                try:
21 +
                    if agenda.activations[idx+o] == act:
22 +
                        del agenda.activations[idx+o]
23 +
                    else:
24 +
                        continue
25 +
                except IndexError:
26 +
                    pass
27 +
                else:
28 +
                    break
24 29
25 30
        for act in added:
26 31
            act.key = self.get_key(act)
Files Coverage
experta 93.75%
Project Totals (26 files) 93.75%
44.3
TRAVIS_PYTHON_VERSION=3.7
TRAVIS_OS_NAME=linux
44.1
TRAVIS_PYTHON_VERSION=3.5
TRAVIS_OS_NAME=linux
45.1
TRAVIS_PYTHON_VERSION=3.5
TRAVIS_OS_NAME=linux
45.2
TRAVIS_PYTHON_VERSION=3.6
TRAVIS_OS_NAME=linux
45.3
TRAVIS_PYTHON_VERSION=3.7
TRAVIS_OS_NAME=linux
44.4
TRAVIS_PYTHON_VERSION=3.8
TRAVIS_OS_NAME=linux
45.4
TRAVIS_PYTHON_VERSION=3.8
TRAVIS_OS_NAME=linux

No yaml found.

Create your codecov.yml to customize your Codecov experience

Sunburst
The inner-most circle is the entire project, moving away from the center are folders then, finally, a single file. The size and color of each slice is representing the number of statements and the coverage, respectively.
Icicle
The top section represents the entire project. Proceeding with folders and finally individual files. The size and color of each slice is representing the number of statements and the coverage, respectively.
Grid
Each block represents a single file in the project. The size and color of each block is represented by the number of statements and the coverage, respectively.
Loading