Unstable veronac test timing out C++

The test veronac/features/run-pass/integer.verona is failing randomly with timeout on MacOS.

Last time I've seen it happen was 8th April.

The build will be collected, so here's a snapshot of the error, for posterity image

@plietar @sylvanc

Asked Oct 08 '21 14:10
avatar rengolin

4 Answer:

Just realised we had a similar issue (#77). If this happens again we'll disable the test like the others.

Answered Jul 29 '21 at 11:30
avatar  of rengolin


Is this a CI, MacOS or "solver" problem?

I have run this veronac testsuite/veronac/features/run-pass/integer on my Mac, however I was not able to reproduce the scenario described.

Could you give me some pointers on where to start investigating this?


Answered Aug 12 '21 at 19:45
avatar  of Akaame

Hi, I think this is a compiler issue. The old compiler may have some instability or memory corruption that only sometimes leads to an infinite loop.

Other tests had similar issues and were disabled, so I'm guessing this was a known issue back then, but never fixed.

I don't think it's worth looking out nto the underlying cause because this is an old code that won't be used any more and is here just for reference.

The new compiler is in src/parser and src/mlir but still not complete. The syntax and semantics are different on the new compiler, so looking at the old one won't help much in learning the language.

There are some new documents in docs/internal that you can look at, meanwhile.

Answered Aug 12 '21 at 21:46
avatar  of rengolin

Old compiler tests are no longer executed after being moved to deprecated.

Answered Sep 01 '21 at 17:46
avatar  of rengolin