cuter-testing · kostis · Jan 31, 2025 · Jan 30, 2025 · Jan 30, 2025 · Jan 30, 2025
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -39,7 +39,7 @@ jobs:
           key: ${{ runner.os }}-otp-${{ matrix.otp }}
       - name: Build submodules
         run: |
-          bash -c "echo 4.19.5 > lib/gpb/gpb.vsn"
+          bash -c "echo 4.19.8 > lib/gpb/gpb.vsn"
           git submodule foreach make
       - name: Install Z3
         run: bash -x fetch_z3.sh
@@ -53,7 +53,7 @@ jobs:
       - name: Build CutEr
         run: |
           autoconf
-          ./configure --with-protoc=$PWD/lib/protoc-3.20.2/bin/protoc
+          ./configure --with-protoc=$PWD/lib/protoc-22.0/bin/protoc
           make depend
           make -j 2
       - name: Run Dialyzer

diff --git a/README.md b/README.md
@@ -17,7 +17,7 @@ This is the source tree for CutEr, a concolic unit testing tool for Erlang.
 License
 -------
 
-Copyright 2014-2022 by Aggelos Giantsios, Nikolaos Papaspyrou and Kostis Sagonas.
+Copyright 2014-2025 by Aggelos Giantsios, Nikolaos Papaspyrou and Kostis Sagonas.
 
 This program is distributed under the GPL, version 3 or later. Please see the COPYING file for details.
 
@@ -77,7 +77,7 @@ In order to use CutEr, you need the following programs:
 
   If you have a Linux or an OSX system then you can skip this step and, after you have downloaded or cloned this repository, you can run the provided `fetch_protoc.sh` script and follow the instructions.
 
-  If you are running on some other OS, download the [3.20.2 version](https://github.com/google/protobuf/releases/tag/v3.20.2) of **protoc** for your OS
+  If you are running on some other OS, download the [22.0 version](https://github.com/google/protobuf/releases/tag/v22.0) of **protoc** for your OS
   and follow the instructions in *readme.txt*.
 
 Installation
@@ -108,7 +108,7 @@ Installation
    then you need to specify the path of *protoc* to the configure script using a
    command like the following:
 
-        ./configure --with-protoc=$PWD/lib/protoc-3.20.2/bin/protoc
+        ./configure --with-protoc=$PWD/lib/protoc-22.0/bin/protoc
 
 * **[Optional]** You can run the unit and functional tests with `make test`
 

diff --git a/configure.ac b/configure.ac
@@ -167,7 +167,7 @@ fi
 rm -f person.proto
 
 if test "$HAS_PROTOC" = "0"; then
-  AC_MSG_ERROR([protoc is missing. Please download version 3.11.0 of the package at https://github.com/google/protobuf/releases/tag/v3.11.0 and follow the instructions in the README. If you have a linux installation, then you can run ./fetch_protoc.sh and follow the instructions.])
+  AC_MSG_ERROR([protoc is missing. Please download version 22.0 of the package at https://github.com/google/protobuf/releases/tag/v22.0 and follow the instructions in the README. If you have a linux installation, then you can run ./fetch_protoc.sh and follow the instructions.])
 fi
 
 ###############################################

diff --git a/fetch_protoc.sh b/fetch_protoc.sh
@@ -3,7 +3,7 @@
 set -e
 
 DL="lib"
-VER="3.20.2"
+VER="22.0"
 PROTOC_DIR="$DL/protoc-$VER"
 rm -rf $PROTOC_DIR
 

diff --git a/lib/gpb b/lib/gpb
diff --git a/requirements.txt b/requirements.txt
@@ -2,5 +2,5 @@ attrs==19.3.0
 mypy==0.780
 mypy-protobuf==1.20
 parsimonious==0.8.1
-protobuf==3.20.2
+protobuf==4.22.0
 typing==3.7.4.1
+2 −2		.github/workflows/main.yml
+1 −1		.github/workflows/release.yml
+27 −0		ChangeLog
+5 −5		Makefile
+7 −66		README.md
+20 −9		build/mk_version_hrl
+1 −1		doc/dev-guide/decoding.md
+2 −2		helpers/send-pr-to-rebar3-gpb-plugin
+46 −63		src/gpb.erl
+65 −10		src/gpb_compile.erl
+2 −2		src/gpb_gen_introspect.erl
+1 −1		src/gpb_gen_json_decoders.erl
+4 −4		src/gpb_gen_json_encoders.erl
+55 −30		src/gpb_gen_nif.erl
+4 −0		src/gpb_lib.erl
+29 −0		test/gpb_compile_tests.erl
+38 −1		test/gpb_json_tests.erl
+4 −4		test/gpb_tests.erl