formalsec / smtml / 365 / 1
44%
main: 44%

DEFAULT BRANCH: main
Ran
Files 10
Run time 0s
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: 54.965% (-0.03%) from 54.997%
365.1

push

github

filipeom 
Patch Expr.relop to accept theory specific types for equality (#394)

It appears we were already accepting for other theories except integers.
Just missing he inequality for ints.

952 of 1732 relevant lines covered (54.97%)

11.58 hits per line

Source Files on job 365.1