search

celo-org / mento2-model

5 stars 1 forks source link

oracle and mento fix #168

Closed sissnad closed 2 years ago

sissnad commented 2 years ago

This PR fixes a the oracle parametrisation and a small bug in the Mento Generator

sissnad commented 2 years ago

Fixes Issue 167