Add a warning on non-test analysis w/o foundry_success checking

package/version

@@ -1 +1 @@
-0.1.200
+0.1.201

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kontrol"
-version = "0.1.200"
+version = "0.1.201"
 description = "Foundry integration for KEVM"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

src/kontrol/__init__.py

@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '0.1.200'
+VERSION: Final = '0.1.201'

src/kontrol/__main__.py

@@ -320,6 +320,11 @@ def exec_prove(
                 log = failure_log.print() + Foundry.help_info()
                 for line in log:
                     print(line)
+        _, test = proof.id.split('.')
+        if not any(test.startswith(prefix) for prefix in ['test', 'check', 'prove']):
+            print(
+                f'Info: {proof.id} is not prefixed with test or testFail, therefore it is not reported as failing in the presence of reverts or assertion violations.'
+            )
 
     sys.exit(failed)
 

src/kontrol/prove.py

@@ -288,6 +288,7 @@ def init_and_run_proof(test: FoundryTest) -> APRFailureInfo | Exception | None:
             end_time = time.time()
             proof.add_exec_time(end_time - start_time)
             proof.write_proof_data()
+
             # Only return the failure info to avoid pickling the whole proof
             if proof.failure_info is not None and not isinstance(proof.failure_info, APRFailureInfo):
                 raise RuntimeError('Generated failure info for APRProof is not APRFailureInfo.')