Internal error: An error occured while shrinking. about proper HOT 9 CLOSED

Absolutely!

Do the following:

1. first update to the newest version because it's not fun debugging older versions and trying to find out which version you have.
2. see if the problem persists
3. send us some code (and instructions) that reproduces the problem -- the more you minimize it, the more we'll like you (*)

Kostis

(*) We very much like you anyway (in fact, you are my week's hero) due to the "spawnthink" video on vimeo!!

from proper.

1. I am using fd0ceb4 version of PropEr, so I think it's pretty new :)
2. it is where it manifested in the first place
3. will do shortly

• I think you meant spawnfest video :)

from proper.

You are absolutely right!

... probably too much thinking today and not much "fest" (look it up on what it means in Swedish)

from proper.

Haha, that's what weekends are for! Anyway, I'll try to extract a minimal case. The property that fails is fairly complicated (multiple nested FORALLs)

from proper.

The latest commit fixes some issues with non-deterministic properties. Could you try it out and see if it covers your issue as well?

from proper.

Manolis, this internal error still occurs. Although may be not as frequently (but still quite frequent when I increase numtests from defaullt to say 500)

from proper.

Yurii, please try to create a test that shows the internal error (even with 500 tests) and send it to us. We will appreciate it and most probably so will you.

to Manolis: Μεγάλε τι σου έλεγα; Τώρα απλά θα χρειαστεί να βρεις το λάθος σε κάτι πιο δύσκολο...

from proper.

Kostis,

I absolutely will. It will probably take time as I am not well versed in PropEr yet, plus (as I said above) I might be having a hard time extracting the bare essential of that test. We'll see. I am likely to start trying this tomorrow.

from proper.

It has taken more than a year and there has been no reaction on this issue. I am closing it... Open a new one if you happen to experience this problem again.

from proper.