A forum for Spin users
You are not logged in.
Pages: 1
Is there a way to produce an error trail in case an integer overflow happens during verifications, without adding an assertion for each variable?
Offline
Sorry, no, not at the moment.You could add it by editing the pan.m source files -- but that's probably just as much work as adding an assertion at every assignment statement.