Testwerkzeuge

0,0 % davon gebaut.

Werkzeuge, die einen Vertrag zu brechen versuchen, bevor es jemand anderes tut.

0 von 5 geliefert

Aus der Kopie des Unternehmensplans vom 10.10.2026, 05:00 gelesen. Der aktuelle Plan hat noch nicht geantwortet.

Jedes Teil

Ein Property-Fuzzer
Als Nächstes
Geplant für 18. Dezember 2026, seit dem 7. Oktober hinzugefügt
Fertige Invarianten für gängige Verträge
Später
Geplant für 29. Januar 2027, seit dem 7. Oktober hinzugefügt
Ein Prüfer für Upgrades und Speicher
Später
Geplant für 29. Januar 2027, seit dem 7. Oktober hinzugefügt
Ein symbolischer Explorer
Später
Geplant für 30. April 2027, seit dem 7. Oktober hinzugefügt
Ein differenzieller Fuzzer für Nodes und Clients
Später
Geplant für 28. Mai 2027, seit dem 7. Oktober hinzugefügt

Noch kein Eintrag im Änderungsprotokoll nennt dieses Modul. Die des Projekts stehen auf seiner Seite: Open Source

Für dieses Modul gibt es noch keine Hilfeseiten.