Revision e41f4ba0
ID | e41f4ba0ad09bcf3a696ab4eb7a1952e29f37d1f |
Parent | be811997 |
Child | bfefb674 |
Fix iallocator crash when no solutions exist
Commit 5436576 added an un-guarded `head' call, which crashes with
“Prelude.head: empty list” when no results exists for the per-instance
allocation/relocation calls.
This patch fixes this, and also adds another check for an unguarded
`head' call during parsing of input data.
Files
- added
- modified
- copied
- renamed
- deleted