Kami dengan bangga mengumumkan bahwa Invariant Suite yang kami tulis untuk Superform sekarang dipublikasikan! Suite ini adalah produk dari keterlibatan pengujian invarian selama 4 minggu dan audit 3 minggu yang berjalan secara paralel. Ribuan baris kode, 120 properti diuji. Tautan di halaman audit kami!