Hi @sirhill , greetings for the new version of C-Layer , i have been experimenting with
This new framework allows the way to convert the sol files into flattened code , writing the strict assertions , for instance checking the code for an particular RBACWith multisig.sol
public PublicMultiSig(_threshold, _duration, _participants, _weights)
{
/// if_succeeds {:msg : "checking-with-participant-roles" } returns "_approvers == onlyApprovers ;
updateManyParticipantsRoles(
_participants,
_suggesters,
_approvers,
_executers
);
}
PS: i might be wrong with the previous example , but just wanted to give an indication of the capablities .
so i wanted to ask will you be eager to talk about the possiblity of doing strict assertion checks .
Cheers
Hi @sirhill , greetings for the new version of C-Layer , i have been experimenting with
This new framework allows the way to convert the sol files into flattened code , writing the strict assertions , for instance checking the code for an particular RBACWith multisig.sol
PS: i might be wrong with the previous example , but just wanted to give an indication of the capablities .
so i wanted to ask will you be eager to talk about the possiblity of doing strict assertion checks .
Cheers