#!/usr/bin/env bash

file=henrion5-qq

source test/diff/diff_source.sh

source test/diff/diff_source-param-nonf.sh

source test/diff/diff_source-param-nonf-qq.sh

source test/diff/diff_source-gb-red.sh

source test/diff/diff_source-gb-elim-red.sh

normal_exit
