- changed status to invalid
IDP catches bad_alloc
Issue #282
invalid
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).
Comments (2)
-
-
Toevoeging: quantificatie over de natuurlijke getallen loopt oneindig. Gebruik eindige types!
- Log in to comment
Out of memory exception is not a bug in the system.