Instance Class verifyTest-variableWordLength

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
Submitter Martin Gebser
Compatible Encodings
    Output Predicates
      Instances
      1 - 17 of 17