[More Detail] [Collapse All]
Feature: Add benchmark support in 'extend' command


TLA-sbuilder supports including non-application TLA+ snippets into
specification code. The intended use of this feature is to add dead
weight to specification code for benchmark purposes.

Implementation adds mustache partial calls to extension templates in
 'src/extend' -directory.
features/015-preferences/099-benchmark-extensions.feature
- Background:
link
features/015-preferences/099-benchmark-extensions.feature:11
Given I successfully run `sbuilder.rb init`
- Scenario: Benchmark template partial call included in TLA templates
link

Create extension points with extra calls to load partials in
directory 'benchit'
features/015-preferences/099-benchmark-extensions.feature:16
And I successfully run `sbuilder.rb extend --benchmark benchit`
And the following files should exist:
TLA extension templates
src/extend/extend_assumptions.mustache
src/extend/extend_implementation.mustache
src/extend/extend_invariant_cfg.mustache
src/extend/extend_invariant.mustache
src/extend/extend_macros.mustache
src/extend/extend_operations.mustache
src/extend/extend_state.mustache
And I successfully run `grep -e '{{>benchit/benchmark-extend_assumptions\.mustache' src/extend/extend_assumptions.mustache`
And I successfully run `grep -e '{{>benchit/benchmark-extend_implementation\.mustache' src/extend/extend_implementation.mustache`
And I successfully run `grep -e '{{>benchit/benchmark-extend_invariant\.mustache' src/extend/extend_invariant.mustache`
And I successfully run `grep -e '{{>benchit/benchmark-extend_implementation\.mustache' src/extend/extend_implementation.mustache`
And I successfully run `grep -e '{{>benchit/benchmark-extend_macros\.mustache' src/extend/extend_macros.mustache`
And I successfully run `grep -e '{{>benchit/benchmark-extend_operations\.mustache' src/extend/extend_operations.mustache`