Merge pull request #489 from goblint/incremental/automated-tests

Incremental/automated tests

Author: michael-schwarz

.github/workflows/locked.yml

@@ -55,6 +55,9 @@ jobs:
       - name: Test domains
         run: ./goblint.domaintest
 
+      - name: Test incremental regression
+        run: ruby scripts/update_suite.rb -i
+
   gobview:
     strategy:
       fail-fast: false

.github/workflows/unlocked.yml

@@ -75,6 +75,9 @@ jobs:
       - name: Test marshal regression
         run: ruby scripts/update_suite.rb -m
 
+      - name: Test incremental regression
+        run: ruby scripts/update_suite.rb -i
+
   lower-bounds-downgrade:
     # use external 0install solver to downgrade: https://github.com/ocaml-opam/opam-0install-solver
     # TODO: will be built in in opam 2.2: https://github.com/ocaml/opam/pull/4909
@@ -149,6 +152,9 @@ jobs:
       - name: Test marshal regression
         run: ruby scripts/update_suite.rb -m
 
+      - name: Test incremental regression
+        run: ruby scripts/update_suite.rb -i
+
   lower-bounds-docker:
     # use builtin-0install solver to remove and downgrade, opam normally compiled without, Docker images have it compiled
 
@@ -232,3 +238,6 @@ jobs:
 
       - name: Test marshal regression
         run: ruby scripts/update_suite.rb -m
+
+      - name: Test incremental regression
+        run: ruby scripts/update_suite.rb -i