package Ġkotlin _ intro . exercises Ċ Ċ import Ġio . kot lint est . data . forall Ċ import Ġio . kot lint est . shouldBe Ċ import Ġio . kot lint est . specs . String Spec Ċ import Ġio . kot lint est . tables . row Ċ Ċ class ĠExercise 1 Test Ġ: ĠString Spec ({ ĊĠĠĠ Ġ" Calculate ĠF ib onacci Ġnumbers " Ġ{ ĊĠĠĠĠĠĠĠ Ġ// given ĊĠĠĠĠĠĠĠ Ġforall ( ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 0 , Ġ 0 ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 1 , Ġ 1 ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 2 , Ġ 1 ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 3 , Ġ 2 ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 4 , Ġ 3 ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 5 , Ġ 5 ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 6 , Ġ 8 ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 7 , Ġ 1 3 ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 8 , Ġ 2 1 ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 1 9 , Ġ 4 1 8 1 ) ĊĠĠĠĠĠĠĠ Ġ) Ġ{ Ġnumber , Ġfib Number Ġ-> ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġ// when ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġresult Ġ= Ġfib ( number ) ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġ// then ĊĠĠĠĠĠĠĠĠĠĠĠ Ġresult ĠshouldBe Ġfib Number ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ" Check Ġif Ġnumber Ġis ĠPrime " Ġ{ ĊĠĠĠĠĠĠĠ Ġ// given ĊĠĠĠĠĠĠĠ Ġforall ( ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 1 , Ġfalse ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 2 , Ġtrue ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 3 , Ġtrue ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 5 , Ġtrue ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 6 3 , Ġfalse ), ĊĠĠĠĠĠĠĠĠĠĠĠ Ġrow ( 9 7 , Ġtrue ) ĊĠĠĠĠĠĠĠ Ġ) Ġ{ Ġnumber , Ġis Prime Ġ-> ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġ// when ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġresult Ġ= Ġis Prime ( number ) ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġ// then ĊĠĠĠĠĠĠĠĠĠĠĠ Ġresult ĠshouldBe Ġis Prime ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ }) Ċ