search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

used the abstraction `Number` instead of explicitly using `FastRational` #732

Closed Tomaqa closed 4 months ago

Tomaqa commented 4 months ago

This is necessary if FastRational is eventually replaced by another class with the same interface.

blishko commented 4 months ago

Looks like we need to update the compiler at starexec CI job first.

Tomaqa commented 4 months ago

I hoped that the previous PR will fix it x)

Tomaqa commented 4 months ago

Formatter CI already passes, starexec remains -> #734