search

gmalecha / mirror-core

A framework for extensible, reflective decision procedures.
Other
19 stars 5 forks source link

Solve universe issues in tests/universes.v #79

Closed gmalecha closed 8 years ago

gmalecha commented 8 years ago

Solved in 456bab299c0185c5c27f36ddb2f9ac4a28c14bfa