1
93%
develop: 93%

Ran 15 Feb 2023 08:08PM UTC

Files 709

Run time 27s

Badge

Embed ▾

Committed 15 Feb 2023 08:08PM UTC coverage: 86.149% (-0.03%) from 86.18%

Job # 4187567908.1

Build Type

push

github

Committed by GitHub

Commit Message

feed an LTL formula to LTSMin via a file (#53)

* feed an LTL formula to LTSMin via a file

* Use try-with-resource block

* add a test case of long LTL formula

* cleanup code analysis errors

* refactor testcase

* move case in a separate test method
* use a formula that is easier to modelcheck to reduce runtime

---------

Co-authored-by: Markus Frohme <markus.frohme@udo.edu>

Run Details

14293 of 16591 relevant lines covered (86.15%)

1.58 hits per line

LearnLib / automatalib / 4187567908 / 1
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4187567908.1

LearnLib / automatalib / 4187567908 / 1 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 4187567908.1

LearnLib / automatalib / 4187567908 / 1
93%
develop: 93%

README BADGES
x