Attic/marking2/knight2a_test.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Wed, 06 Mar 2024 18:20:25 +0000
changeset 484 c4561fc667b7
parent 331 e3878cdd38bc
permissions -rw-r--r--
test
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
162
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
val f = (x:(Int, Int)) => if (x._1 > 3) Some(List(x)) else None
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
assert(CW7b.first(List((1,0),(2,0),(3,0),(4,0)), f) == Some(List((4,0))))
6d25ccbb3cf2 marking 2
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
assert(CW7b.first(List((1,0),(2,0),(3,0)), f) == None)