salmans/rusty-razor

Benchmark Razor against Alloy

salmans opened this issue · 0 comments

salmans commented
  1. How does Alloy's bounds translate to Razor's?
  2. Maybe the comparison should be done after implementing sorted logic for Razor?