fixed mathsat5 and smtrat, stop workflow if no asset is found

Author: azhukov-gyg

cvc5-latest/main.py

@@ -33,7 +33,10 @@ def main():
 
     if not matching_asset:
         print("No matching asset found.")
-        return
+        print("Available assets:")
+        for asset in latest_release['assets']:
+            print(f"  - {asset['name']}")
+        exit(1)
 
     latest_version = latest_release['tag_name']
     current_version = read_version(repo)

mathsat5-latest/main.py

@@ -25,7 +25,15 @@ def fetch_mathsat_binary():
 
     soup = BeautifulSoup(response.text, 'html.parser')
 
-    link = soup.find('a', href=re.compile(r'download\.php\?file=mathsat-\d+\.\d+\.\d+-linux-x86_64\.tar\.gz'))
+    # Debug: print all links to see what's available
+    print("Available links on MathSAT download page:")
+    for link in soup.find_all('a', href=True):
+        href = link['href']
+        if 'mathsat' in href.lower() or 'download' in href.lower():
+            print(f"  - {href}")
+
+    # Look for the new direct release URL format
+    link = soup.find('a', href=re.compile(r'/release/mathsat-\d+\.\d+\.\d+-linux-x86_64\.tar\.gz'))
 
     if not link:
         print("No matching MathSAT binary found.")
@@ -38,7 +46,7 @@ def fetch_mathsat_binary():
         return False, None, None
 
     version = match.group(1)
-    download_url = f"https://mathsat.fbk.eu/{href}"
+    download_url = f"https://mathsat.fbk.eu{href}"
 
     return True, version, download_url
 
@@ -72,6 +80,8 @@ def main():
             generate_tests(theory, NUM_TESTS)
     else:
         print("Failed to download MathSAT binary.")
+        print("This might be due to changes in the download page structure.")
+        exit(1)
 
 if __name__ == '__main__':
     main()

opensmt2-latest/main.py

@@ -29,7 +29,10 @@ def main():
 
     if not matching_asset:
         print("No matching asset found.")
-        return
+        print("Available assets:")
+        for asset in latest_release['assets']:
+            print(f"  - {asset['name']}")
+        exit(1)
 
     latest_version = latest_release['tag_name']
     current_version = read_version(solver_name)

ostrich-latest/main.py

@@ -26,7 +26,10 @@ def main():
 
     if not matching_asset:
         print("No matching asset found.")
-        return
+        print("Available assets:")
+        for asset in latest_release['assets']:
+            print(f"  - {asset['name']}")
+        exit(1)
 
     latest_version = latest_release['tag_name']
     current_version = read_version(repo)

smtrat-latest/main.py

@@ -17,7 +17,7 @@
 def main():
     owner = 'ths-rwth'
     repo = 'smtrat'
-    pattern = re.compile(r'smtrat\.tgz')
+    pattern = re.compile(r'smtrat-static\.tar\.gz')
     path_to_solver_binary = "./smtrat-static"
     NUM_TESTS = int(os.getenv("NUM_TESTS", 100))
     latest_release = get_latest_release(owner, repo)
@@ -30,7 +30,10 @@ def main():
 
     if not matching_asset:
         print("No matching asset found.")
-        return
+        print("Available assets:")
+        for asset in latest_release['assets']:
+            print(f"  - {asset['name']}")
+        exit(1)
 
     latest_version = latest_release['tag_name']
     current_version = read_version(repo)

stp-latest/main.py

@@ -27,7 +27,10 @@ def main():
 
     if not matching_asset:
         print("No matching asset found.")
-        return
+        print("Available assets:")
+        for asset in latest_release['assets']:
+            print(f"  - {asset['name']}")
+        exit(1)
 
     latest_version = latest_release['tag_name']
     current_version = read_version(repo)

yices2-latest/main.py

@@ -31,7 +31,10 @@ def main():
 
     if not matching_asset:
         print("No matching asset found.")
-        return
+        print("Available assets:")
+        for asset in latest_release['assets']:
+            print(f"  - {asset['name']}")
+        exit(1)
 
     latest_version = latest_release['tag_name']
     current_version = read_version(repo)

z3-latest/main.py

@@ -33,7 +33,10 @@ def main():
 
     if not matching_asset:
         print("No matching asset found.")
-        return
+        print("Available assets:")
+        for asset in latest_release['assets']:
+            print(f"  - {asset['name']}")
+        exit(1)
 
     latest_version = latest_release['tag_name']
     current_version = read_version(repo)