Move language plugin tests out of tests/ (!473) · Merge requests · Why3 / why3

Xavier Denis requested to merge tests-to-bench into master Feb 05, 2021

This addresses @melquion's comment in !459 (merged), I've moved the MLCFG tests into examples/.

Edited Feb 05, 2021 by Xavier Denis

Move language plugin tests out of tests/