From 0d281f64617f24b823cc21d20ea5a125d0bb54ed Mon Sep 17 00:00:00 2001
From: Lukas Abelt <git@login.luabelt.de>
Date: Tue, 6 Feb 2024 16:41:17 +0100
Subject: [PATCH] - Updated project name for Picosat load time version

---
 varats/varats/projects/c_projects/picosat.py | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/varats/varats/projects/c_projects/picosat.py b/varats/varats/projects/c_projects/picosat.py
index 9806cb1f2..e19c272a0 100644
--- a/varats/varats/projects/c_projects/picosat.py
+++ b/varats/varats/projects/c_projects/picosat.py
@@ -191,19 +191,19 @@ def get_release_revisions(
                 if re.match(release_regex, tag)]
 
 
-class PicoSATVaRA(VProject, ReleaseProviderHook):
+class PicoSATLT(VProject, ReleaseProviderHook):
     """Adapted version of picoSAT that has been refactored, such that it does
     not require a field-sensitive analysis."""
 
-    NAME = 'picosat-vara'
+    NAME = 'PicosatLT'
     GROUP = 'c_projects'
     DOMAIN = ProjectDomains.SOLVER
 
     SOURCE = [
         PaperConfigSpecificGit(
-            project_name="picosat-vara",
+            project_name="PicosatLT",
             remote="https://github.com/se-sic/picoSAT-vara",
-            local="picosat",
+            local="PicosatLT",
             refspec="origin/HEAD",
             limit=None,
             shallow=False
@@ -259,7 +259,9 @@ class PicoSATVaRA(VProject, ReleaseProviderHook):
     def binaries_for_revision(
         revision: ShortCommitHash
     ) -> tp.List[ProjectBinaryWrapper]:
-        binary_map = RevisionBinaryMap(get_local_project_git_path(PicoSAT.NAME))
+        binary_map = RevisionBinaryMap(
+            get_local_project_git_path(PicoSATLT.NAME)
+        )
         binary_map.specify_binary(
             'picosat', BinaryType.EXECUTABLE, valid_exit_codes=[0, 10, 20]
         )