.merlin

S src
S src/backends
S src/backends/C
S src/backends/EMF
S src/backends/Horn
S src/backends/Java
S src/checks
S src/features
S src/features/machine_types
S src/parsers
S src/plugins
S src/plugins/mpfr
S src/plugins/salsa
S src/plugins/scopes
S src/tools
S src/tools/stateflow
S src/tools/stateflow/common
S src/tools/stateflow/json-parser
S src/tools/stateflow/models
S src/tools/stateflow/semantics
S src/utils

B src/_build
B src/_build/backends
B src/_build/backends/C
B src/_build/backends/EMF
B src/_build/backends/Horn
B src/_build/checks
B src/_build/features
B src/_build/features/machine_types
B src/_build/parsers
B src/_build/plugins
B src/_build/plugins/mpfr
B src/_build/plugins/salsa
B src/_build/plugins/scopes
B src/_build/tools
B src/_build/tools/stateflow
B src/_build/tools/stateflow/common
B src/_build/tools/stateflow/models
B src/_build/tools/stateflow/semantics
B src/_build/utils

B test