CalvinBackup/OBLITERATUS
1
0
Fork 0
mirror of https://github.com/elder-plinius/OBLITERATUS.git synced 2026-08-17 16:37:30 +02:00
Code Issues Packages Projects Releases Wiki Activity

Harden remote execution contracts and tests

Browse Source
This commit is contained in:
Joseph Magly
2026-08-15 00:13:26 -04:00
parent 1240bf2adb
commit 62a480fd6a
12 changed files with 961 additions and 51 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/run_repeat_gate.py
+4
View File
@@ -18,9 +18,13 @@ DEFAULT_TESTS = (
"tests/test_config.py",
"tests/test_config_properties.py",
"tests/test_coverage_thresholds.py",
"tests/test_numerical_contracts.py",
"tests/test_persistence_contracts.py",
"tests/test_property_contracts.py",
"tests/test_advanced_metrics.py",
"tests/test_metrics.py",
"tests/test_remote_contracts.py",
"tests/test_runtime_contracts.py",
)
HASH_SEEDS = ("0", "1", "8675309")