|
|
|
|
|
|
by UncleMeat
2893 days ago
|
|
|
Replace it with any other nonsense. In practice your time guarantee isn't going to let you produce a sound and complete static analysis that proves the equivalence of two arbitrary (modulo termination guarantees) functions. In the real world all programs have a timeout set to the time to the heat death of the universe. This hasn't helped us make sound and complete static analysis. |
|
|