#! /bin/sh
# Dezyne --- Dezyne command line tools
#
# Copyright © 2022, 2024 Janneke Nieuwenhuizen <janneke@gnu.org>
#
# This file is part of Dezyne.
#
# Dezyne is free software: you can redistribute it and/or modify it
# under the terms of the GNU Affero General Public License as
# published by the Free Software Foundation, either version 3 of the
# License, or (at your option) any later version.
#
# Dezyne is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
# Affero General Public License for more details.
#
# You should have received a copy of the GNU Affero General Public
# License along with Dezyne.  If not, see <http://www.gnu.org/licenses/>.
#
set -e
set -x
dzn -v verify test/all/hello_locations/hello_locations.dzn
mkdir -p test/all/hello_locations/out

trail=$(cat test/all/hello_locations/trace)
trail=$(echo -n $trail)
trail=$(echo $trail | tr ' ' ',')
dzn simulate --strict --locations test/all/hello_locations/hello_locations.dzn --trail="$trail"  \
    | tee test/all/hello_locations/out/hello_locations
diff -u test/all/hello_locations/baseline/hello_locations       \
     test/all/hello_locations/out/hello_locations
