- Adapted project name for picosat fork

se-sic · Jan 30, 2024 · d03d059 · d03d059
1 parent e1ed49f
commit d03d059
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/varats/varats/projects/c_projects/picosat.py b/varats/varats/projects/c_projects/picosat.py
@@ -195,7 +195,7 @@ class PicoSATVaRA(VProject, ReleaseProviderHook):
     """Adapted version of picoSAT that has been refactored, such that it does
     not require a field-sensitive analysis."""
 
-    NAME = 'picosat'
+    NAME = 'picosat-vara'
     GROUP = 'c_projects'
     DOMAIN = ProjectDomains.SOLVER