Merge pull request #6 from convince-project/add/testing_with_storm #22
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Test | |
| # Test the python packages that are part of the toolchain | |
| on: | |
| push: | |
| branches: [ "main" ] | |
| pull_request: | |
| branches: [ "main" ] | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| ros-distro: [ "humble" ] | |
| steps: | |
| # Checkout the repository | |
| - name: Checkout repository | |
| uses: actions/checkout@v2 | |
| # Set up ROS | |
| - name: Set up ROS | |
| uses: ros-tooling/[email protected] | |
| with: | |
| required-ros-distributions: ${{ matrix.ros-distro }} | |
| # Get smc_storm for testing | |
| - name: Get smc_storm | |
| id: get_smc_storm | |
| run: | | |
| wget https://github.com/convince-project/smc_storm/releases/download/0.0.1/smc_storm_executable.tar.gz | |
| tar -xzf smc_storm_executable.tar.gz | |
| ./install.sh --install-dependencies | |
| # Save the path to the smc_storm executable | |
| echo SMC_STORM_PATH=$PWD/bin/ >> $GITHUB_OUTPUT | |
| # Update pip | |
| - name: Update pip | |
| run: python -m pip install --upgrade pip | |
| # install the packages | |
| - name: Install packages | |
| run: | | |
| pip install jani_generator/.[dev] | |
| pip install mc_toolchain_jani_common/.[dev] | |
| pip install scxml_converter/.[dev] | |
| # lint packages | |
| # TODO: add linting | |
| # run the tests | |
| - name: Run tests | |
| run: | | |
| export PATH=$PATH:${{ steps.get_smc_storm.outputs.SMC_STORM_PATH }} | |
| source /opt/ros/${{ matrix.ros-distro }}/setup.bash | |
| pytest-3 -vs |