diff options
Diffstat (limited to 'test/divo.adb')
| -rw-r--r-- | test/divo.adb | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/test/divo.adb b/test/divo.adb index 0d6dae8..eabc32c 100644 --- a/test/divo.adb +++ b/test/divo.adb @@ -27,7 +27,7 @@ procedure Divo is function B - (Item : in Integer) + (Item : in Natural) return Term renames Math.Build; @@ -48,7 +48,7 @@ procedure Divo is procedure Test - (Dividend, Divisor : in Integer) + (Dividend, Divisor : in Natural) is Relation : Goal := Empty_Goal; Quotient : constant Term := Relation.Fresh; @@ -64,6 +64,7 @@ procedure Divo is begin + TIO.Put_Line ("Division"); Test (0, 2); Test (1, 1); Test (2, 3); @@ -75,7 +76,7 @@ begin Test (4, 6); Test (3, 1); Test (5, 6); - Test (19, 7); -- currently fails, not sure why, error in miniKanren? + Test (19, 7); end Divo; |