A translator from Eiffel intermediate code to Boogie intermediate language and
a tool to invoke Boogie and interpret its output in terms of the source Eiffel program.
Copyright (c) 2010-2015 ETH Zurich
Copyright (c) 2018-2019 Politecnico di Milano
Copyright (c) 2021-2022 Schaffhausen Institute of Technology
GNU General Public License (see https://www.gnu.org/licenses/)
/.svn$EIFGENs/tests$remote