dafny-lang / dafny-reportgenerator

A tool for analyzing and reporting on Dafny, especially the results of verification
MIT License
3 stars 4 forks source link

Clean up use of `BigRational` in externs #10

Closed atomb closed 2 years ago

atomb commented 2 years ago

Some of the code in Externs.cs was kind of awkward due to limitations in the API of the BigRational class. Given changes available in 3.7.0, this code can be significantly simplified. This PR does that.

robin-aws commented 2 years ago

Horray, we're no longer ridiculous! :) Love the lines added/lines removed ratio.