Unstable veronac test timing out C++

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

1

Answered Jul 29 '21 at 11:30

rengolin

Hello,

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?

Regards.

1

Answered Aug 12 '21 at 19:45

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.

1

Answered Aug 12 '21 at 21:46

rengolin

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

1

Answered Sep 01 '21 at 17:46

rengolin