insufficient memory crash on 32-bit machines

loonwerks / AGREE

Assume-Guarantee REasoning Environment

BSD 3-Clause "New" or "Revised" License

13 stars 5 forks source link

insufficient memory crash on 32-bit machines #3

Open kfhoech opened 4 years ago

kfhoech commented 4 years ago

Issue by backesj Tuesday Sep 16, 2014 at 20:51 GMT Originally opened as https://github.com/smaccm/smaccm/issues/28

We should add a preferences field to change the "-Xmx" argument to jkind

kfhoech commented 4 years ago

Comment by agacek Wednesday Sep 17, 2014 at 00:14 GMT

This would require updating the JKind API as well to allow such an argument. Maybe we allow certain java arguments to be specified, or maybe we allow a free form passing of arguments. Both are ugly in their own way.