fAndreuzzi / Bisimulation-Algorithms / 625768443 / 1
97%
master: 97%

DEFAULT BRANCH: master
Ran
Files 35
Run time 4s
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: 97.693% (-0.7%) from 98.442%
625768443.1

push

github-actions

francescoandreuzzi 
first functions in saha.py. first tests

1355 of 1387 relevant lines covered (97.69%)

0.98 hits per line

Source Files on job 625768443.1