From 8c173391ea9947739c6bdcdaed0ff3646c9ab9b0 Mon Sep 17 00:00:00 2001 From: Lucas Polymeris Date: Fri, 31 Mar 2023 07:51:02 -0300 Subject: [PATCH] Grains test fix #81 (#92) Co-authored-by: Erik Schierboom --- exercises/practice/grains/grains_tests.plt | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) diff --git a/exercises/practice/grains/grains_tests.plt b/exercises/practice/grains/grains_tests.plt index 82091522..9f12ff4d 100644 --- a/exercises/practice/grains/grains_tests.plt +++ b/exercises/practice/grains/grains_tests.plt @@ -7,32 +7,31 @@ pending :- :- begin_tests(grains). test(first, condition(true)) :- - square(1, Result), - Result == 1. + square(1, Result), Result == 1. test(second, condition(pending)) :- - square(2, 2). + square(2, Result), Result == 2. test(third, condition(pending)) :- - square(3, 4). + square(3, Result), Result == 4. test(sixteen, condition(pending)) :- - square(16, 32768). + square(16, Result), Result == 32768. test(twenty_three, condition(pending)) :- - square(23, 4194304). + square(23, Result), Result == 4194304. test(thirty_two, condition(pending)) :- - square(32, 2147483648). + square(32, Result), Result == 2147483648. test(fifty_five, condition(pending)) :- - square(55, 18014398509481984). + square(55, Result), Result == 18014398509481984. test(sixty_four, condition(pending)) :- - square(64, 9223372036854775808). + square(64, Result), Result == 9223372036854775808. test(total, condition(pending)) :- - total(18446744073709551615). + total(Result), Result == 18446744073709551615. test(zero, [fail, condition(pending)]) :- square(0, _).