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

DEFAULT BRANCH: develop
Ran
Files 684
Run time 42s
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: 85.509% (+1.1%) from 84.371%
1192133295.1

push

github

GitHub 
Integrate M3C, a model checker for context-free modal process systems (#47)

* initial m3c configuration

* fix typo

* add further exclusions for generated classes

* M3C with JavaCC grammars

* initial draft of MCFPS interfaces

* Adapt Solver to work with ModalContextFreeProcessSystem, add headers, simplify ADD/BDDTransformer SolveDD/BDD/ADD

* add experimental support for M3C-modelchecking SPAs

* general cleanups

* fix analysis configs
* fix some issues detected by code-analysis
* remove unused classes
* make classes immutable where possible

* make formulas parameterizable in label and proposition type

* add new (failing) testcases

* add some experimental (broken) refactorings to NNFVisitor

* move ToString visitor in toString method of FormulaNodes

* make abstract classes start with Abstract

* fix indentions

* Decide procedurality via edge properties rather than input alphabets

* reactivate tests + cleanup

* Fix broken Transformer tests

* clean up NNFVisitor

* var numbers do not need to be copied
* check that all nodes are copied

* clean up AbstractFormulaNode

* remove unneeded attributes/getters
* make equals/hashCode include all relevant properties

* fix PMD warning

* fix broken and add new parser tests

* reorder functions to address checkstyle errors

* first try at new solver API

* configure ADDLib as optional dependency

* simplify some equals methods

* add Alnis metadata

* cleanups and new design experiments on solver API

* remove unused code

* update cf config

* small cleanups

* delete unused methods and refactor BDDTransformer

* fix operator precedence in ctl parser

* fix typedADDSolver

* cleanups

* remove setADD in ADDTransformer

* replace AtomicInteger with int

* cleanups

* test solver with mcfps with atomic propositions

* replace loop by containsAll in atomicPropositions check

* add SolverHistory

* cleanups

* ... (continued)

13843 of 16189 relevant lines covered (85.51%)

1.56 hits per line

Source Files on job 1192133295.1