Bug description
Error in PIE file with incremental/concurrent solver but not with traditional solver
Versions
Eclipse: org.eclipse.platform.ide 4.16.0.I20200604-0540
Spoofax: org.metaborg.spoofax.eclipse 2.6.0.20220405-144549-master
System: Mac OS X x86_64 10.14.6
Statix setup: multi-file
Steps to reproduce the behavior
Not the smallest, but it is self contained: switchToIncremental.txt.
Github only allows specific file types, so you'll have to change the extension back to stxtest
Observed behavior
Evaluating the test as normally results in zero errors, evaluating the file with the concurrent solver results in 2 errors.
Expected behavior
No errors regardless of the solver. At the very least I expect that the results match.
Additional context
Originally found with incremental solver, but there is no option to evaluate a stxtest with the incremental solver yet.
Bug description Error in PIE file with incremental/concurrent solver but not with traditional solver
Versions Eclipse: org.eclipse.platform.ide 4.16.0.I20200604-0540 Spoofax: org.metaborg.spoofax.eclipse 2.6.0.20220405-144549-master System: Mac OS X x86_64 10.14.6 Statix setup: multi-file
Steps to reproduce the behavior Not the smallest, but it is self contained: switchToIncremental.txt. Github only allows specific file types, so you'll have to change the extension back to stxtest
Observed behavior Evaluating the test as normally results in zero errors, evaluating the file with the concurrent solver results in 2 errors.
Expected behavior No errors regardless of the solver. At the very least I expect that the results match.
Additional context Originally found with incremental solver, but there is no option to evaluate a stxtest with the incremental solver yet.