Spinroot

A forum for Spin users

You are not logged in.

#1 2015-07-20 14:01:51

mlfv
Member
Registered: 2013-04-29
Posts: 28

Integer overflow in verifications

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

#2 2015-07-20 20:58:16

spinroot
forum
Registered: 2010-11-18
Posts: 700
Website

Re: Integer overflow in verifications

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.

Offline

Board footer

Powered by FluxBB