Class Tree
Description These are a seres of tests varying processor word length that check the equivalence of

! input in %i0
add %i0 %i0 %o1
! output in %o1

and

! input in %i0
umult %i0 2 %o1
! output in %o1

on SPARC-V8.

The search spaces are 2^N for testN and none of the programs have answer sets. Choice rules are used.

Author: Martin Brain
Encodings
1 - 1 of 1
  •  null  
  • un-/mark all