|
@@ -31,7 +31,7 @@ Alternatively, you can just set your `PYTHONPATH` environment variable to the ab
|
|
|
Assuming you followed the installation instructions above, run:
|
|
Assuming you followed the installation instructions above, run:
|
|
|
|
|
|
|
|
```
|
|
```
|
|
|
-python -m sccd.test.run test/test_files
|
|
|
|
|
|
|
+python -m sccd.test.cmd.run test/test_files
|
|
|
```
|
|
```
|
|
|
|
|
|
|
|
It will recursively visit the directory tree of `test_files` and look for XML files starting with with `test_` (tests that should succeed) or `fail_` (for tests that should fail), and execute them. The tree also contains XML files starting with `statechart_`: these are individual statechart models that are not directly executable, but are used by test files. The tree also contains SVG files: these contain automatically rendered images of statechart models.
|
|
It will recursively visit the directory tree of `test_files` and look for XML files starting with with `test_` (tests that should succeed) or `fail_` (for tests that should fail), and execute them. The tree also contains XML files starting with `statechart_`: these are individual statechart models that are not directly executable, but are used by test files. The tree also contains SVG files: these contain automatically rendered images of statechart models.
|
|
@@ -41,7 +41,7 @@ It will recursively visit the directory tree of `test_files` and look for XML fi
|
|
|
The test framework can also generate Rust code for each test, and then invokes the Rust compiler (must be in your PATH as `rustc`) to compile to native code for your machine. The compiled program is then run (the main-function of the generated code executes the test). Add the `--rust` flag to try it:
|
|
The test framework can also generate Rust code for each test, and then invokes the Rust compiler (must be in your PATH as `rustc`) to compile to native code for your machine. The compiled program is then run (the main-function of the generated code executes the test). Add the `--rust` flag to try it:
|
|
|
|
|
|
|
|
```
|
|
```
|
|
|
-python -m sccd.test.run --rust test/test_files
|
|
|
|
|
|
|
+python -m sccd.test.cmd.run --rust test/test_files
|
|
|
```
|
|
```
|
|
|
|
|
|
|
|
Rust code generation is a work in progress. Tests that contain unsupported features will be skipped.
|
|
Rust code generation is a work in progress. Tests that contain unsupported features will be skipped.
|
|
@@ -57,7 +57,7 @@ The following environment variables can be set to change the behavior of the run
|
|
|
|
|
|
|
|
The following Python modules are runnable from terminal:
|
|
The following Python modules are runnable from terminal:
|
|
|
|
|
|
|
|
-* `sccd.test.run`, already mentioned, runs tests.
|
|
|
|
|
|
|
+* `sccd.test.cmd.run`, already mentioned, runs tests.
|
|
|
* `sccd.statechart.cmd.render` will render test files and statecharts as SVG images. Depends on `state-machine-cat` command. [Example of a rendered file](examples/digitalwatch/model_digitalwatch.svg)
|
|
* `sccd.statechart.cmd.render` will render test files and statecharts as SVG images. Depends on `state-machine-cat` command. [Example of a rendered file](examples/digitalwatch/model_digitalwatch.svg)
|
|
|
* `sccd.statechart.cmd.render_priorities` will render the statechart's transition priorities, as determined by the chosen semantics, as a graph. Depends on `dot` command. [Example of a rendered file](examples/digitalwatch/model_digitalwatch_priorities.svg)
|
|
* `sccd.statechart.cmd.render_priorities` will render the statechart's transition priorities, as determined by the chosen semantics, as a graph. Depends on `dot` command. [Example of a rendered file](examples/digitalwatch/model_digitalwatch_priorities.svg)
|
|
|
* `sccd.statechart.cmd.check_model` will check if a model is valid.
|
|
* `sccd.statechart.cmd.check_model` will check if a model is valid.
|
