qsym

A symbolic executor for the QBE intermediate language

git clone https://git.8pit.net/qsym.git

 1#!/bin/sh
 2
 3cd "$(dirname "$0")"
 4. common.sh
 5
 6ret=0
 7for test in *; do
 8	[ -d "${test}" ] || continue
 9
10	name="${test##*/}"
11	printf "Running test case '%s': " "${name}"
12
13	qsym "${test}"/input.qbe "${ENTRY_FUNC}" 2>&1 | \
14		cmp - "${test}/expected" 2>/dev/null 1>&2
15	if [ $? -ne 0 ]; then
16		echo FAIL
17		ret=1
18	else
19		echo OK
20	fi
21done
22
23exit "${ret}"