{"action":"created","issue":{"url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/124","labels_url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/124/labels{/name}","comments_url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/124/comments","events_url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/124/events","html_url":"https://github.com/ibex-team/ibex-lib/issues/124","id":66174424,"number":124,"title":"erreur avec Array et Function","user":{"login":"bneveu","id":8122275,"avatar_url":"https://avatars.githubusercontent.com/u/8122275?v=3","gravatar_id":"","url":"https://api.github.com/users/bneveu","html_url":"https://github.com/bneveu","followers_url":"https://api.github.com/users/bneveu/followers","following_url":"https://api.github.com/users/bneveu/following{/other_user}","gists_url":"https://api.github.com/users/bneveu/gists{/gist_id}","starred_url":"https://api.github.com/users/bneveu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bneveu/subscriptions","organizations_url":"https://api.github.com/users/bneveu/orgs","repos_url":"https://api.github.com/users/bneveu/repos","events_url":"https://api.github.com/users/bneveu/events{/privacy}","received_events_url":"https://api.github.com/users/bneveu/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ibex-team/ibex-lib/labels/bug","name":"bug","color":"fc2929"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-04-03T16:00:34Z","updated_at":"2015-04-07T07:48:32Z","closed_at":null,"body":"J'ai une erreur avec les Array déclarés dans une boucle qui crée une fonction\r\nJ'ai essayé de circonscrire le bug  en laissant le minimum qui fait planter.\r\n le petit programme suivant plante dans la création de la fonction à la deuxième itération.\r\n\r\n\r\nAutomatic initialization of gaol... done\r\n fin iteration \r\nterminate called after throwing an instance of 'ibex::DimException'\r\nAbort (core dumped)\r\n\r\n\r\nest-ce que 150 intervalles, c'est trop pour une déclaration statique ?\r\n\r\n-----------------------------------------------------------------------------------------------------------------\r\n#include \"ibex.h\"\r\nusing namespace ibex;\r\nusing namespace std;\r\n\r\nint main() {\r\n  int p=150;\r\n\r\n  Variable v(3);\r\n  Function* m_f0;\r\n  for (int i=0; i< 2; i++)\r\n    {\r\n      Array<Interval> mctc (p);\r\n      m_f0= new Function(v, (v[0]+v[1]-1));\r\n      delete m_f0;\r\n      cout << \" fin iteration \" << endl;\r\n    }\r\n}\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/comments/90430989","html_url":"https://github.com/ibex-team/ibex-lib/issues/124#issuecomment-90430989","issue_url":"https://api.github.com/repos/ibex-team/ibex-lib/issues/124","id":90430989,"user":{"login":"bneveu","id":8122275,"avatar_url":"https://avatars.githubusercontent.com/u/8122275?v=3","gravatar_id":"","url":"https://api.github.com/users/bneveu","html_url":"https://github.com/bneveu","followers_url":"https://api.github.com/users/bneveu/followers","following_url":"https://api.github.com/users/bneveu/following{/other_user}","gists_url":"https://api.github.com/users/bneveu/gists{/gist_id}","starred_url":"https://api.github.com/users/bneveu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bneveu/subscriptions","organizations_url":"https://api.github.com/users/bneveu/orgs","repos_url":"https://api.github.com/users/bneveu/repos","events_url":"https://api.github.com/users/bneveu/events{/privacy}","received_events_url":"https://api.github.com/users/bneveu/received_events","type":"User","site_admin":false},"created_at":"2015-04-07T07:48:32Z","updated_at":"2015-04-07T07:48:32Z","body":"le programme qui plante est plus exactement le suivant\r\navec Array<Interval>\r\n\r\n-------------------------------------------------------------------------------------------------------------\r\n\r\n#include \"ibex.h\"\r\nusing namespace ibex;\r\nusing namespace std;\r\n\r\nint main() {\r\n  int p=150;\r\n\r\n  Variable v(3);\r\n  Function* m_f0;\r\n  for (int i=0; i< 2; i++)\r\n    {\r\n      Array<Interval> mctc (p);\r\n      m_f0= new Function(v, (v[0]+v[1]-1));\r\n      delete m_f0;\r\n      cout << \" fin iteration \" << endl;\r\n    }\r\n}"}}