Merge remote-tracking branch 'origin/develop'

rv-auditor · rv-auditor · commit 3eb71dbedf8c · 2025-01-07T14:50:35.000Z
diff --git a/deps/z3 b/deps/z3
@@ -1 +1 @@
-4.13.0
+4.13.4
diff --git a/package/docker/Dockerfile.ubuntu-noble b/package/docker/Dockerfile.ubuntu-noble
@@ -1,4 +1,4 @@
-FROM runtimeverificationinc/z3:ubuntu-noble-4.13.0
+FROM runtimeverificationinc/z3:ubuntu-noble-4.13.4
 
 ENV TZ=America/Chicago
 RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM runtimeverificationinc/z3:ubuntu-noble-4.13.0`
	`1`	`+FROM runtimeverificationinc/z3:ubuntu-noble-4.13.4`
`2`	`2`
`3`	`3`	`ENV TZ=America/Chicago`
`4`	`4`	`RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone`