pyta-uoft / pyta / 22163364181
90%
master: 90%

LAST BUILD BRANCH: multi-line-precondition-support
DEFAULT BRANCH: master
Ran
Jobs 15
Files 55
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 89.945% (-0.01%) from 89.958%
22163364181

Pull #1305

github

web-flow 
Merge d517a6e6b into b63df6c00
Pull Request #1305: Adding support for multi-line preconditions

14 of 16 new or added lines in 1 file covered. (87.5%)

2 existing lines in 1 file now uncovered.

3453 of 3839 relevant lines covered (89.95%)

17.44 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
94.44
 -5.56% packages/python-ta/src/python_ta/checkers/contract_checker.py

Uncovered Existing Lines

Lines Coverage ∆ File
2
94.44
 -5.56% packages/python-ta/src/python_ta/checkers/contract_checker.py
Jobs
ID Job ID Ran Files Coverage
1 run-3.12-python-ta-z3 - 22163364181.1 8
27.35
 GitHub Action Run
2 run-3.13-python-ta-z3 - 22163364181.2 8
27.35
 GitHub Action Run
3 run-3.10-python-ta-z3 - 22163364181.3 8
27.35
 GitHub Action Run
4 run-3.13-z3-solver - 22163364181.4 99
94.13
 GitHub Action Run
5 run-3.14-z3-solver - 22163364181.5 99
94.12
 GitHub Action Run
6 run-3.11-python-ta-z3 - 22163364181.6 8
27.35
 GitHub Action Run
7 run-3.11-z3-solver - 22163364181.7 99
94.1
 GitHub Action Run
8 run-3.14-python-ta-z3 - 22163364181.8 8
27.35
 GitHub Action Run
9 run-3.13-base - 22163364181.9 99
90.4
 GitHub Action Run
10 run-3.11-base - 22163364181.10 99
90.37
 GitHub Action Run
11 run-3.12-z3-solver - 22163364181.11 99
94.13
 GitHub Action Run
12 run-3.10-base - 22163364181.12 99
90.37
 GitHub Action Run
13 run-3.14-base - 22163364181.13 99
90.38
 GitHub Action Run
14 run-3.12-base - 22163364181.14 99
90.4
 GitHub Action Run
15 run-3.10-z3-solver - 22163364181.15 99
94.1
 GitHub Action Run
Source Files on build 22163364181