[More Detail] [Collapse All]
Feature: Override preference in setup

Prefernce 'debug-output', can be overridden in setup section to allow
finer control of debug output.
features/015-preferences/050-override-preference-in-setup.feature
- Background:
link

Create empty preferences section in 'cnf/sbuilder.yaml' file.
features/015-preferences/050-override-preference-in-setup.feature:9
Given I use a fixture named "fixture-resolver"
And YAML configuration file `cnf/sbuilder.yaml`
preferences:
- Scenario: Preference 'debug-output' false in 'sbuilder.yaml' no process output
link
features/015-preferences/050-override-preference-in-setup.feature:20
Given YAML configuration file `cnf/sbuilder.yaml` in path `preferences`
debug-output: false
When I generate TLA+ model setup `test`
And I do PLC transformation for setup `test`
And I do PLC transformation for setup `test`
And I run TLC for setup `test`
Then the output should not match /Default process [\w]+ for operation/
- Scenario: Override 'debug-output' preference in setup
link
features/015-preferences/050-override-preference-in-setup.feature:34
Given YAML configuration file `cnf/sbuilder.yaml` in path `preferences`
debug-output: false
And YAML configuration file `cnf/sbuilder.yaml`
setups:
- setupDirectory: test
  preferences:
     debug-output: true
  extensions:
    - file: extensions.yaml
When I generate TLA+ model setup `test`
And I do PLC transformation for setup `test`
And I do PLC transformation for setup `test`
And I run TLC for setup `test`
Then the output should match /Default process [\w]+ for operation/