tests: add packet.exe integration to CI

.github/workflows/main.yml

@@ -54,6 +54,10 @@ jobs:
           cat out.log
           grep -e "All .* tests passed" out.log || exit 1
 
+      - name: Docker Integration Test
+        run: |
+          docker run --rm --entrypoint tests/integration/packet/packet.exp pate
+
       - name: Push Docker image
         run: |
           CI_COMMIT_SHORT_SHA=$(git rev-parse --short $GITHUB_SHA)

Dockerfile

@@ -147,7 +147,7 @@ RUN cabal v2-build pate-repl-base
 ENV PATH="/home/src/:/root/.ghcup/bin:${PATH}"
 
 COPY --from=gitbase /home/src/loadrepl.ghci /home/src/loadrepl.ghci
-RUN apt install -y libtinfo5 libtinfo-dev
+RUN apt install -y libtinfo5 libtinfo-dev expect-lite
 ENTRYPOINT ["/home/src/pate.sh"]
 
 

tests/integration/packet/packet.exp

@@ -17,7 +17,7 @@
 
 spawn ./pate.sh --original tests/integration/packet/exe/packet.exe --patched tests/integration/packet/exe/packet.patched.exe -s parse_packet
 
-set timeout 120
+set timeout 480
 
 expect_before {
         timeout { send_user "\n\nFAILURE: timeout\n"; exit 1 }