Skip to content

Commit

Permalink
break unit test
Browse files Browse the repository at this point in the history
  • Loading branch information
andrewmwells-amazon committed Nov 1, 2023
1 parent ad8164e commit 4147ca8
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions cedar-lean/UnitTest/Decimal.lean
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ private def testValid (str : String) (rep : Int) : TestCase :=
def testsForValidStrings :=
suite "Decimal.parse for valid strings"
[
testValid "0.0" 0,
testValid "0.0." 0,
testValid "0.0000" 0,
testValid "12.34" 123400,
testValid "1.2345" 12345,
Expand Down Expand Up @@ -61,4 +61,4 @@ def tests := [testsForValidStrings, testsForInvalidStrings]
-- Uncomment for interactive debugging
-- #eval TestSuite.runAll tests

end UnitTest.Decimal
end UnitTest.Decimal

0 comments on commit 4147ca8

Please sign in to comment.