Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
jasonbelt committed Jul 18, 2024
1 parent dc00f08 commit 4e718e0
Showing 1 changed file with 10 additions and 6 deletions.
16 changes: 10 additions & 6 deletions how_to_run.md
Original file line number Diff line number Diff line change
@@ -1,27 +1,25 @@
# Workflow

1. Optional: modify the AADL model and then rerun codegen
1. Optional: modify the AADL model ([isolette/aadl/aadl/packages](isolette/aadl/aadl/packages)) and then rerun codegen

* [isolette/aadl/bin/run-hamr.cmd](isolette/aadl/bin/run-hamr.cmd)

The model is in [isolette/aadl/aadl/packages](isolette/aadl/aadl/packages)

1. Modify system testing containers
1. Modify the system testing containers by adding/removing fields

The following are relative to [isolette/hamr/slang/src/main/util/isolette/system_tests](isolette/hamr/slang/src/main/util/isolette/system_tests)

* [monitor1/Monitor_Subsystem_Containers.scala](isolette/hamr/slang/src/main/util/isolette/system_tests/monitor1/Monitor_Subsystem_Containers.scala)

* [rst/Regulate_Subsystem_Containers.scala](isolette/hamr/slang/src/main/util/isolette/system_tests/rst/Regulate_Subsystem_Containers.scala)

1. Rerun system testing artifact generator
1. Rerun the system testing artifact generator

The following is relative to [isolette/hamr/slang](isolette/hamr/slang)

* [bin/generate-system-test-artifacts.sc](isolette/hamr/slang/bin/generate-system-test-artifacts.sc)


1. Update system testing schemas
1. Update the system testing schemas

The following are relative to [isolette/hamr/slang/src/test/system/isolette/system_tests](isolette/hamr/slang/src/test/system/isolette/system_tests)

Expand All @@ -30,3 +28,9 @@
* [rst/Regulate_Subsystem_Test_wSlangCheck.scala](isolette/hamr/slang/src/test/system/isolette/system_tests/rst/Regulate_Subsystem_Test_wSlangCheck.scala)


**NOTE** If you get something similar to the following error when trying to compile the Slang project inside IVE then switch to using the IDEA incremental compiler (instead of Zinc) via ``Settings`` > ``Build, Execution, Deployment`` >> ``Scala Compiler`` >> ``Incrementality Type``

```
Internal error (java.io.FileNotFoundException): isolette-automated-system-testing/isolette/hamr/slang/out/production/isolette_single_sensor_Instance/isolette
...
```

0 comments on commit 4e718e0

Please sign in to comment.