From 19dadc7976fbadd03d53ed630565b98e9361f433 Mon Sep 17 00:00:00 2001
From: Catarina Gamboa <catarina.vg@hotmail.com>
Date: Wed, 16 Apr 2025 11:02:01 +0100
Subject: [PATCH] update README.md

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 65213f5..8bae0ce 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,7 @@
 Latte is a lightweight static analysis tool for tracking aliasing in Java programs. This tool allows you to annotate your programs with permissions where aliases are tracked to prevent bugs related to unexpected object references and side effects.
 
 For more details, check our [research paper](https://arxiv.org/pdf/2309.05637).
+Test our VSCode Plugin in the Codespaces of the project [latte-vscode](https://github.com/CatarinaGamboa/latte-vscode).
 
 ## Overview