ligo/src/test/contracts/bitwise_arithmetic.ligo

// Test PascaLIGO bitwise operators

function or_op (const n : nat) : nat is
  bitwise_or(n , 4n)

function and_op (const n : nat) : nat is
  bitwise_and(n , 7n)

function xor_op (const n : nat) : nat is
  bitwise_xor(n , 7n)

function lsl_op (const n : nat) : nat is
  bitwise_lsl(n , 7n)

function lsr_op (const n : nat) : nat is
  bitwise_lsr(n , 7n)
Add purpose comments to some test contracts Add comments explaining what a contract is/does/tests to the top of several PascaLIGO test contracts, as part of evaluating what parts of the syntax are and aren't currently tested. 2019-09-21 14:59:48 -07:00			`// Test PascaLIGO bitwise operators`

add bitwise arithmetic and string arithmetic tests 2019-07-19 12:42:01 +02:00			`function or_op (const n : nat) : nat is`
Remove block skips. 2020-02-07 11:10:47 +01:00			`bitwise_or(n , 4n)`
add bitwise arithmetic and string arithmetic tests 2019-07-19 12:42:01 +02:00
			`function and_op (const n : nat) : nat is`
Remove block skips. 2020-02-07 11:10:47 +01:00			`bitwise_and(n , 7n)`
add bitwise arithmetic and string arithmetic tests 2019-07-19 12:42:01 +02:00
			`function xor_op (const n : nat) : nat is`
Remove block skips. 2020-02-07 11:10:47 +01:00			`bitwise_xor(n , 7n)`
Add lsl and lsr support. 2020-02-06 16:17:33 +01:00
			`function lsl_op (const n : nat) : nat is`
Remove block skips. 2020-02-07 11:10:47 +01:00			`bitwise_lsl(n , 7n)`
Add lsl and lsr support. 2020-02-06 16:17:33 +01:00
			`function lsr_op (const n : nat) : nat is`
Remove block skips. 2020-02-07 11:10:47 +01:00			`bitwise_lsr(n , 7n)`