PalladioSimulator / Palladio-Analyzer-Slingshot

0 stars 1 forks source link

Result.empty vs. Result.of #10

Closed stiesssh closed 1 year ago

stiesssh commented 1 year ago

Result.empty() and Result.of() (without arguments) both create an empty result. To me, this seems to be two method for the same purpose. one of them should be removed.

stiesssh commented 1 year ago

closed by #5