Skip to content

Commit

Permalink
Add some tests for booleans
Browse files Browse the repository at this point in the history
  • Loading branch information
L-as committed Jan 10, 2022
1 parent a54e018 commit fe9d771
Showing 1 changed file with 11 additions and 1 deletion.
12 changes: 11 additions & 1 deletion examples/Main.hs
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ import Data.Maybe (fromJust)
import qualified Examples.List as List
import Examples.Tracing (traceTests)
import Plutarch (POpaque, pconstant, plift', popaque, printTerm, punsafeBuiltin)
import Plutarch.Bool (PBool (PFalse, PTrue), pif, pnot, (#&&), (#<), (#<=), (#==), (#||))
import Plutarch.Bool (PBool (PFalse, PTrue), pand, pif, pnot, por, (#&&), (#<), (#<=), (#==), (#||))
import Plutarch.Builtin (PAsData, PBuiltinList (..), PBuiltinPair, PData, pdata)
import Plutarch.ByteString (PByteString, pconsBS, phexByteStr, pindexBS, plengthBS, psliceBS)
import Plutarch.Either (PEither (PLeft, PRight))
Expand Down Expand Up @@ -250,6 +250,16 @@ plutarchTests =
let v2 = [("IOHK", [1, 2, 3]), ("Plutus", [9, 8, 7])]
plift' (pconstant @(PBuiltinList (PBuiltinPair PString (PBuiltinList PInteger))) v2) @?= Right v2
]
, testCase "True && False ≡ False" $ equal (pcon PTrue #&& pcon PFalse) (pcon PFalse)
, testCase "False && True ≡ False" $ equal (pcon PFalse #&& pcon PTrue) (pcon PFalse)
, testCase "False && perror ≡ False" $ equal (pcon PFalse #&& perror) (pcon PFalse)
, testCase "fails: pand False perror" $ fails $ pand # pcon PFalse # perror
, testCase "pand False (pdelay perror) ≡ False" $ equal (pand # pcon PFalse # pdelay perror) (pdelay $ pcon PFalse)
, testCase "True || False ≡ True" $ equal (pcon PTrue #|| pcon PFalse) (pcon PTrue)
, testCase "False || True ≡ True" $ equal (pcon PFalse #|| pcon PTrue) (pcon PTrue)
, testCase "True || perror ≡ True" $ equal (pcon PTrue #|| perror) (pcon PTrue)
, testCase "fails: por True perror" $ fails $ por # pcon PFalse # perror
, testCase "por True (pdelay perror) ≡ True" $ equal (por # pcon PTrue # pdelay perror) (pdelay $ pcon PTrue)
]

-- | Tests for the behaviour of UPLC itself.
Expand Down

0 comments on commit fe9d771

Please sign in to comment.