search

Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

Replace revert statements with require in tests #6

Closed mariaKt closed 2 months ago

mariaKt commented 2 months ago

This PR modifies the tests, replacing the revert statements with equivalent require, and removing the error declarations.

Resolves #1746