// RUN: %testDafnyForEachCompiler --refresh-exit-code=0 "%S/../c++/arrays.dfy" -- --relax-definite-assignment --allow-deprecation --unicode-char false

// Test compilation of a file in another directory
