#!/bin/sh

test_add64() {
  result=$("${QEMU}" -B 0x80000000 -s 2k tests/math_add64.elf)

  test $? -eq 0 && test "${result}" = "00000003.80000000\n00000003.C0000000" # 3.5, 3.75
}