Errors like the following are currently not reported by the extension:
timedout_after.dfy(25,6): Verification of 'Impl$$_module.__default.lemma__mul__properties' timed out after 10 seconds
which is the error reported when I run the file client/test/sampleFolder/timedout_after.dfy included in this PR on my machine.
This PR fixes this issue.
Note: The content of the test file `timedout_after.dfy`` is taken from the IronFleet project as this issue was discovered while verifying the integer number library of IronFleet. Hence, the copyright notice added to it.
If you think that the copyright notice is not required, feel free to remove it.
Also, feel free to replace my example with a different one showing the same type of error.
Errors like the following are currently not reported by the extension:
timedout_after.dfy(25,6): Verification of 'Impl$$_module.__default.lemma__mul__properties' timed out after 10 secondswhich is the error reported when I run the fileclient/test/sampleFolder/timedout_after.dfyincluded in this PR on my machine.This PR fixes this issue.
Note: The content of the test file `timedout_after.dfy`` is taken from the IronFleet project as this issue was discovered while verifying the integer number library of IronFleet. Hence, the copyright notice added to it. If you think that the copyright notice is not required, feel free to remove it. Also, feel free to replace my example with a different one showing the same type of error.