4187567908
93%

Ran 15 Feb 2023 08:08PM UTC

Jobs 1

Files 709

Run time 28s

Badge

Embed ▾

pending completion

Build # 4187567908

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	4187567908.1	15 Feb 2023 08:08PM UTC	0	86.15

Source Files on build 4187567908

Detailed source file information is not available for this build.

LearnLib / automatalib / 4187567908
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 4187567908

LearnLib / automatalib / 4187567908 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 4187567908

LearnLib / automatalib / 4187567908
93%

README BADGES
x