|=================================================| |#| start exhaustive |@alu-accept-operation, @alu-op, @alu-subtract:max| @alu-invalid-operation |@alu-accept-operation, @alu-op, @alu-add:max | @alu-accept-operation, @alu-clear-out:max, @alu-subtract:max |@alu-accept-operation, @alu-op | @alu-accept-operation, @alu-clear-out:max, @alu-add:max |#| constant, @alu-clear-out, 4294967295 |@alu-clear-out:max| @alu-clear-out:4294967295 |#| constant, @alu-add, 4294967295 |@alu-add:max| @alu-add:4294967295 |#| constant, @alu-subtract, 4294967296 |@alu-subtract:max| @alu-subtract:4294967295 |#| end exhaustive |=================================================| |=============================================| |#| start exhaustive ||@alu-accept-operation |@alu-accept-operation, @alu-op, @alu-subtract| @alu-invalid-operation |@alu-accept-operation, @alu-op, @alu-add | @alu-accept-operation, @alu-clear-out, @alu-subtract |@alu-accept-operation, @alu-op | @alu-accept-operation, @alu-clear-out, @alu-add |@alu-invalid-operation, @alu-op| |@alu-invalid-state | @alu-accept-operation |@alu-clear-out, @alu-out-1| @alu-clear-out |@alu-clear-out, @alu-out-2| @alu-clear-out |@alu-clear-out | |@alu-add, @alu-in-1| @alu-add, @alu-out-1 |@alu-add, @alu-in-2| @alu-add, @alu-out-1 |@alu-add | |@alu-subtract, @alu-in-1, @alu-in-2| @alu-subtract |@alu-subtract, @alu-in-1 | @alu-subtract, @alu-out-1 |@alu-subtract, @alu-in-2 | @alu-subtract, @alu-out-2 |@alu-subtract | |#| end exhaustive |=============================================| || @alu-op, @alu-in-1:1000, @alu-in-2:2000