Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

ModelTestRelax
- Activity
- Members
- Terraform modules
- Contributor analytics
- Model experiments

Snippets Groups Projects

f74c1a4f

Commit f74c1a4f authored 2 weeks ago by Németh Gábor Árpád

Downloads
- Plain Diff

Merge branch...

Merge branch 'UG_add_example_of_a_non_minimized_model_into_H_and_HSI_test_generation_description' into 'master'

UG: add an example for applying H and HSI test generation on a non-minimized model

See merge request nga/ModelTestRelax!377

parents 89fba91b 80d9ca18

Loading

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

docs/figs/model_examples/h_inseparable-h_state_pair_graph.png 0 additions, 0 deletions

.../figs/model_examples/h_inseparable-h_state_pair_graph.png
docs/figs/model_examples/h_inseparable.png 0 additions, 0 deletions

docs/figs/model_examples/h_inseparable.png
docs/figs/model_examples/minimization_example-h_state_pair_graph.png 0 additions, 0 deletions

...odel_examples/minimization_example-h_state_pair_graph.png
docs/figs/model_examples/minimization_example-hsi_state_pair_graph.png 0 additions, 0 deletions

...el_examples/minimization_example-hsi_state_pair_graph.png
docs/user_guide.md 47 additions, 7 deletions

docs/user_guide.md
sample_models/test/FSM/dcp_advanced_test2.json 1 addition, 1 deletion

sample_models/test/FSM/dcp_advanced_test2.json
sample_models/test/FSM/h_inseparable.json 128 additions, 0 deletions

sample_models/test/FSM/h_inseparable.json
sample_models/test/Test_models.md 10 additions, 5 deletions

sample_models/test/Test_models.md

with 186 additions and 13 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment