Race condition in interface file loading #342
Description
I'm getting the following error when running the test suite:
LiftAndElimIf
liftIfAnn: FAIL
Exception: /home/runner/.vehicle/libraries/stdlib/stdlib.vclo:
withBinaryFile: resource busy (file is locked)
Use -p '/liftIfAnn/' to rerun this test only.
Could this be a race condition in the mechanism which loads the interface file.