IDP catches bad_alloc

[Former user]

While verifying the fifth claim (on almost every example) of the MCS project, IDP throws the following (after a long search):

Error: Exception caught: std::bad_alloc terminate called after throwing an instance of 'std::exception' what(): std::exception Aborted

Predicate which created the issue: ?t[Time] : ?n[nat] : #{d[Door] : IsOpen(d,t)} = n & Time(t+1) & (#{d[Door] : IsOpen(d,t+1)} > n+1 | #{d[Door] : IsOpen(d,t+1)} < n-1).

(further code can be delivered if needed).

[Broes De Cat]

Out of memory exception is not a bug in the system.

[Bart Bogaerts]

Toevoeging: quantificatie over de natuurlijke getallen loopt oneindig. Gebruik eindige types!