Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Arrays with weird indices break show_array2d_bool #780

Closed
wldhx opened this issue Jan 8, 2024 · 0 comments
Closed

Arrays with weird indices break show_array2d_bool #780

wldhx opened this issue Jan 8, 2024 · 0 comments
Assignees
Labels
bug resolved Issue is resolved and the feature or fix will be part of next release

Comments

@wldhx
Copy link

wldhx commented Jan 8, 2024

Hi, here's a repro:

array[0..2,0..2] of var bool: occupancy;
output show_array2d_bool(occupancy);

Yields

Error: evaluation error: overflow in floating point operation

Switching indices to 1..2 fixes it.

> minizinc --version                 
MiniZinc to FlatZinc converter, version 2.8.2
Copyright (C) 2014-1980 Monash University, NICTA, Data61
@Dekker1 Dekker1 added the bug label Jan 16, 2024
@Dekker1 Dekker1 self-assigned this Jan 16, 2024
@Dekker1 Dekker1 added the resolved Issue is resolved and the feature or fix will be part of next release label Jan 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug resolved Issue is resolved and the feature or fix will be part of next release
Projects
None yet
Development

No branches or pull requests

2 participants