Segfault in LTC theory transformations when invalid input is presented

[Former user]

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=c10c05f5a84d5bde4baf

[Bart Bogaerts]

Should of course not segfault.

But... In an ltc theory, you are supposed to use Next(t), not "t+1". Replacing this as it is supposed to be fixes your issue

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=115f958aba495ddc408d

(sanity check: your LTC theory should still be parsable if you remove the "isa int" from the type time declaration)

Still, segfault remains open issue.

[Bart Bogaerts]

Note to developers:

In LTC theory transformations, there is a check that the theory does not contain any functions mapping to Time other than Start and Next. In the given theory, the problematic function "+" is actually a theory to "int" instead of Time, hence escaping the check. This should be fixed.

[Bart Bogaerts]

Zie ook #907