fAndreuzzi / Bisimulation-Algorithms / 625768443
97%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 35
Run time 5s
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
625768443

push

github-actions

francescoandreuzzi 
first functions in saha.py. first tests

1355 of 1387 relevant lines covered (97.69%)

0.98 hits per line

Jobs
ID Job ID Ran Files Coverage
1 625768443.1 0
97.69
Source Files on build 625768443
Detailed source file information is not available for this build.