polystat#35 - fixed docker run

polystat#35 - fixed workflow

polystat#35 - added github actions workflow for find division by zero errors

.github/workflows/validate.yml

@@ -0,0 +1,40 @@
+name: С++ division by zero validation
+
+on:
+  push:
+    branches: [ "master" ]
+  pull_request:
+    branches: [ "master" ]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - uses: actions/setup-java@v3
+      with:
+        java-version: '17'
+        distribution: 'temurin'
+    - name: Pull the Docker image
+      run: |
+        mkdir out
+        docker pull yegor256/c2eo:0.1.24
+    - name: Copy c2o.cooperators
+      run: bash copy.sh
+    - name: Run the Docker image
+      run: docker run -v $(pwd):/eo yegor256/c2eo:0.1.24 examples/div-by-zero.c out/global.eo
+    - name: Check out/global.eo
+      run: |
+        ls -la out
+        cat out/global.eo
+    - name: Removing goto
+      run: bash dejump.sh
+    - name: Run Polystat Jar
+      run: bash polystat.sh
+    - name: Check polystat-eo-out.txt
+      run: cat polystat-eo-out.txt
+    - name: Upload results
+      uses: actions/upload-artifact@v3
+      with:
+        name: polystat-eo-out
+        path: polystat-eo-out.txt

copy.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+
+mkdir out/c2eo
+git clone "https://github.com/polystat/c2eo.git" --branch master
+ls -la
+ls -la c2eo
+cp -r c2eo/project/eo-lib out/c2eo

dejump.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+# Download Dejump jar file
+curl -L -o dejump-0.0.2-jar-with-dependencies.jar "https://repo1.maven.org/maven2/org/eolang/dejump/0.0.2/dejump-0.0.2-jar-with-dependencies.jar"
+echo "Dejump jar was downloaded"
+java -jar dejump-0.0.2-jar-with-dependencies.jar --eo out/global.eo
+echo "GOTO was removed, check the result: "
+cat out/generated/global_transformed.eo
+echo "Rename file"
+mv out/generated/global_transformed.eo out/generated/global.eo

examples/div-by-zero.c

@@ -0,0 +1,3 @@
+int check(int x) {
+    return 42 / x;
+}

polystat.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+
+# Run Polystat (EO) and save reports to "results" folder
+curl -L -o polystat.jar "https://github.com/polystat/polystat-cli/releases/download/v0.1.11/polystat.jar"
+echo "Polystat (EO) analysis has started"
+touch polystat-eo-out.txt
+java -jar polystat.jar eo --in out --to file=polystat-eo-out.txt --sarif
+echo "Polystat (EO) analysis has finished"o polystat.jar "https://github.com/polystat/polystat-cli/releases/download/v0.1.11/polystat.jar"