Fix to actually update the quota

ocaml-multicore / picos

Interoperable effects based concurrency

https://ocaml-multicore.github.io/picos/doc/picos/index.html

ISC License

86 stars 3 forks source link

Fix to actually update the quota #211

Closed polytypic closed 2 months ago

polytypic commented 2 months ago

This fixes Picos_fifos to actually update the remaining quota after performing an effect successfully and also changes the benchmark scheduler to specify ~quota:100.