Alberto Carretero letFunny

Software Engineer, Office of the CTO @ Canonical

letFunny / Dockerfile

Created June 15, 2026 13:22

TLA models to reproduce SQLite's WAL bug and see whether dqlite is affected

	FROM ubuntu:24.04

	ENV TLA_HOME=/opt/tla \
	PATH=$PATH:/opt/tla

	RUN apt-get update && apt-get install -y \
	default-jre \
	curl \
	&& rm -rf /var/lib/apt/lists/*