To run a regression test T with /useModularArithmetic flag, add the following line to the T.json file:
"TranslatorOptions": "/useModularArithmetic"
If the same test T has to run with both /useModularArithmetic and without it, create two tests:
T.sol
TMod.sol
and add separate files T.json and TMod.json.
shuvendu-lahiri
commented
4 years ago
To run a regression test T with /useModularArithmetic flag, add the following line to the T.json file: "TranslatorOptions": "/useModularArithmetic"
If the same test T has to run with both /useModularArithmetic and without it, create two tests: T.sol TMod.sol and add separate files T.json and TMod.json.