This repository was archived by the owner on Jun 11, 2026. It is now read-only.
new test for VeriSol.Modifies; VeriSolContracts.sol extended for Modifies - #261
Open
ellab123 wants to merge 1 commit into
Open
new test for VeriSol.Modifies; VeriSolContracts.sol extended for Modifies#261ellab123 wants to merge 1 commit into
ellab123 wants to merge 1 commit into