[More Detail] [Collapse All]
Feature: Verify OK for setup without any extensions

Environment steps are defined as setups, which can be listed using
command 'sbuilder.rb list setups'. Fixture configuration can be
verifiied without specifying any extensions.
features/010-setups/020-verify-setup-without-extensions.feature
- Background:
link
features/010-setups/020-verify-setup-without-extensions.feature:9
Given I use a fixture named "fixture-1"
Then a file named "cnf/sbuilder.yaml" should exist
- Scenario: Define setup & list it
link
features/010-setups/020-verify-setup-without-extensions.feature:14
Given YAML configuration file `cnf/sbuilder.yaml`
setups:
- setupDirectory: setup1
When I successfully run `sbuilder.rb list setups`
Then the stdout should contain "setup1"
- Scenario: Generate and run setup without any extensions
link
features/010-setups/020-verify-setup-without-extensions.feature:24
Given YAML configuration file `cnf/sbuilder.yaml`
setups:
- setupDirectory: setup1
When I generate TLA+ model setup `setup1`
And I do PLC transformation for setup `setup1`
And I run TLC for setup `setup1`
Then the stdout should contain "Model checking completed. No error has been found."